MSoegtropIMC's repositories
action-snapcraft-build
A Github action for building Snapcraft projects
autoinduct
Taking a fun tactic implemented in class, and making it public for further refinement
ceps
Coq Enhancement Proposals
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
platform
Multi platform setup for Coq, Coq libraries and tools
coqprime
Prime numbers for Coq
coqword
Yet Another Coq Library on Machine Words.
elpi
Embeddable Lambda Prolog Interpreter
Freenove_Big_Hexapod_Robot_Kit_for_Raspberry_Pi
Apply to FNK0052
HoTT
Homotopy type theory
macports-ports
The MacPorts ports tree
metacoq
Metaprogramming in Coq
metaprogramming-rosetta-stone
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
MLCert
Certified Machine Learning
neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
opam-repository-mingw
windows package repository for OPAM (mingw and msvc)
ott
The Ott tool for writing definitions of programming languages and calculi
QuickChick
Randomized Property-Based Testing Plugin for Coq
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
VST
Verified Software Toolchain
wxmaxima
A gui for the computer algebra system Maxima built with wxWidgets