Pinned 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.
platform
Multi platform setup for Coq, Coq libraries and tools
MSoegtropIMC's Repositories
MSoegtropIMC/action-snapcraft-build
A Github action for building Snapcraft projects
MSoegtropIMC/autoinduct
Taking a fun tactic implemented in class, and making it public for further refinement
MSoegtropIMC/ceps
Coq Enhancement Proposals
MSoegtropIMC/CompCert
The CompCert formally-verified C compiler
MSoegtropIMC/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.
MSoegtropIMC/coq-elpi
Coq plugin embedding elpi
MSoegtropIMC/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
MSoegtropIMC/platform
Multi platform setup for Coq, Coq libraries and tools
MSoegtropIMC/coqprime
Prime numbers for Coq
MSoegtropIMC/coqword
Yet Another Coq Library on Machine Words.
MSoegtropIMC/elpi
Embeddable Lambda Prolog Interpreter
MSoegtropIMC/flexdll
a dlopen-like API for Windows
MSoegtropIMC/Freenove_Big_Hexapod_Robot_Kit_for_Raspberry_Pi
Apply to FNK0052
MSoegtropIMC/HoTT
Homotopy type theory
MSoegtropIMC/macports-ports
The MacPorts ports tree
MSoegtropIMC/mczify
MSoegtropIMC/menhir
This is a fork of https://gitlab.inria.fr/fpottier/menhir.git
MSoegtropIMC/metacoq
Metaprogramming in Coq
MSoegtropIMC/metaprogramming-rosetta-stone
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
MSoegtropIMC/MLCert
Certified Machine Learning
MSoegtropIMC/neural-net-coq-interp
Some experiments with doing NN interpretability in Coq
MSoegtropIMC/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
MSoegtropIMC/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
MSoegtropIMC/opam-repository-mingw
windows package repository for OPAM (mingw and msvc)
MSoegtropIMC/ott
The Ott tool for writing definitions of programming languages and calculi
MSoegtropIMC/QUICK
QUICK: A GPU-enabled ab intio quantum chemistry software package
MSoegtropIMC/QuickChick
Randomized Property-Based Testing Plugin for Coq
MSoegtropIMC/vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
MSoegtropIMC/VST
Verified Software Toolchain
MSoegtropIMC/wxmaxima
A gui for the computer algebra system Maxima built with wxWidgets