MSoegtropIMC

MSoegtropIMC's Stars

• wxMaxima-developers/wxmaxima

  A gui for the computer algebra system Maxima built with wxWidgets

  Language:C++46296

• coq-community/reduction-effects

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

  Language:Makefile66

• ecranceMERCE/trakt

  A generic goal preprocessing tool for proof automation tactics in Coq

  Language:Prolog147

• VincentSe/godel

  Arithmetization of mathematics

  Language:Coq3

• 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.2k348

• 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.7k638

• fdopen/opam-repository-mingw

  windows package repository for OPAM (mingw and msvc)

  Language:OCaml9433