mechvel's repositories
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,
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
BFLib-0.1
Agda programs for certified arithmetic for binary integers and generic fractions
000
Binary-3.2
A library of provable programs in Agda for natural numbers in binary representation
Language:AgdaNOASSERTION000