Popular repositories Loading
-
-
zenon_modulo
zenon_modulo PublicFirst-order automated theorem prover based on the tableau method
-
SizeChangeTool
SizeChangeTool PublicA termination checker for higher-order rewriting with dependent types
Repositories
Showing 10 of 60 repositories
- TranslationTemplates Public
Deducteam/TranslationTemplates’s past year of commit activity - rocq-hollight-logic-unif Public
Translation in Rocq of HOL-Light's Logic library until unify using hol2dk
Deducteam/rocq-hollight-logic-unif’s past year of commit activity - opam-repository Public Forked from ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Deducteam/opam-repository’s past year of commit activity - coq-hol-light-real-with-N Public
Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers
Deducteam/coq-hol-light-real-with-N’s past year of commit activity - mathcomp-hollight-real-with-N Public
Translation in Rocq of the HOL-Light definition of real numbers using MathComp
Deducteam/mathcomp-hollight-real-with-N’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…