Popular repositories Loading

1. Binary-4 Binary-4 Public

   A library of provable programs in Agda for natural numbers in binary representation

   Agda 2

2. DParse-Axiom DParse-Axiom Public

   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

3. Binary-3.2 Binary-3.2 Public

   A library of provable programs in Agda for natural numbers in binary representation

   Agda

4. BFLib-0.1 BFLib-0.1 Public

   Agda programs for certified arithmetic for binary integers and generic fractions

5. agda-stdlib agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library

   Agda