search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

The ability to disable the default import of `prelude`? #1149

Open ice1000 opened 1 day ago

ice1000 commented 1 day ago

Related: #1102