mechvel

mechvel

Geek Repo

Github PK Tool:Github PK Tool

mechvel's repositories

Binary-4

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

Language:AgdaLicense:NOASSERTIONStargazers:2Issues:1Issues:0

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,

Stargazers:1Issues:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

BFLib-0.1

Agda programs for certified arithmetic for binary integers and generic fractions

Stargazers:0Issues:0Issues:0

Binary-3.2

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

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0