search

joelburget / lvca

language verification, construction, and analysis
https://lvca.dev
MIT License
20 stars 0 forks source link

bignum dependency pulling in core_kernel? #13

Closed joelburget closed 3 years ago

joelburget commented 3 years ago

Fixed in 983f534bb5fe593774276e9a9737ddabf4470fd8