vitefolts First Order Logic Typescript theorem prover
-
Updated
Jul 21, 2024 - TypeScript
#
peano-axioms
Here are 2 public repositories matching this topic...
The purpose of this programming lab is to implement five primitive recursive functions using the data type Nat and the recursor recNat in Haskell.
haskell quickcheck recursor tasty-framework primitive-recursive-functions eafit church-numerals programming-lab st0244 peano-axioms
-
Updated
Jun 27, 2023 - Haskell
Improve this page
Add a description, image, and links to the peano-axioms topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the peano-axioms topic, visit your repo's landing page and select "manage topics."