Stars
OCaml preprocessor to derive factory methods and default values from type definitions
A gui for the computer algebra system Maxima built with wxWidgets
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
A generic goal preprocessing tool for proof automation tactics in Coq
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
windows package repository for OPAM (mingw and msvc)