MSoegtropIMC

MSoegtropIMC's Stars

• coq/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.

  Language:OCaml4.9k10310.1k658

• ocaml/opam

  opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

  Language:OCaml1.3k613.3k368

• wxMaxima-developers/wxmaxima

  A gui for the computer algebra system Maxima built with wxWidgets

  Language:C++486261.6k99

• fdopen/opam-repository-mingw

  windows package repository for OPAM (mingw and msvc)

  Language:OCaml9658334

• ecranceMERCE/trakt

  A generic goal preprocessing tool for proof automation tactics in Coq

  Language:Prolog15248

• coq-community/reduction-effects

  A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]

  Language:Makefile68156

• VincentSe/godel

  Arithmetization of mathematics

  Language:Coq3200