GitHub - VictorTaelin/ESCoC: A nano "theorem prover". - discu.eu

Reddit

If we relax CoC's scoping rules, we can prove induction with no new primitives. I made this repo to explain and explore this idea. https://github.com/maiavictor/escoc 8 comments 5/2/2019 haskell

Linked pages

GitHub - VictorTaelin/Cedille-Core: A minimal proof language. https://github.com/maiavictor/cedille-core 14 comments
[0704.2448] Light Logics and Optimal Reduction: Completeness and Complexity http://arxiv.org/abs/0704.2448 1 comment

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - VictorTaelin/ESCoC: A nano "theorem prover".

See how to search.

Submit link to: