-
-
sketch-downloader Public
Download sketch.sh pages as markdown and {ocaml,reason} files
-
Some Work-In-Progress stuff about Coq
-
intellij-idea-dpkg Public
Forked from trygvis/intellij-idea-dpkgMakefile to create .deb files for Intellij IDEA
Shell UpdatedJul 25, 2019 -
-
numeral-notation Public
Custom parsing/printing for Coq numeral inductive types
Coq GNU Lesser General Public License v2.1 UpdatedMar 1, 2018 -
extraction-compute Public
A Coq plugin for computing Coq terms through extraction
-
baseconv Public
Base Conversion of Integers (from base 10 or 16 to Coq usual datatypes)
Coq GNU Lesser General Public License v2.1 UpdatedFeb 28, 2017 -
-