mechvel

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 65 5.6k364
agda-stdlib
The Agda standard library
Language:Agda590 29 1k241
agda-stdlib
The Agda standard library
Language:Agda00
BFLib-0.1
Agda programs for certified arithmetic for binary integers and generic fractions
0 1 00
Binary-3.2
A library of provable programs in Agda for natural numbers in binary representation
Language:Agda0 1 00
Binary-4
A library of provable programs in Agda for natural numbers in binary representation
Language:Agda2 1 00
DParse-Axiom
This is for the Axiom computer algebra system .(tested in FriCAS). This is a draft Spad program for the project DParse, Version 0.02, of a general fast parsing in Axiom,
1 1 00

mechvel's Repositories

mechvel/Binary-4
A library of provable programs in Agda for natural numbers in binary representation
Language:Agda2 1 00
mechvel/DParse-Axiom
This is for the Axiom computer algebra system .(tested in FriCAS). This is a draft Spad program for the project DParse, Version 0.02, of a general fast parsing in Axiom,
1 1 00
mechvel/agda-stdlib
The Agda standard library
Language:Agda00
mechvel/BFLib-0.1
Agda programs for certified arithmetic for binary integers and generic fractions
0 1 00
mechvel/Binary-3.2
A library of provable programs in Agda for natural numbers in binary representation
Language:Agda0 1 00