-
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJun 9, 2023 -
haskell-chart Public
Forked from timbod7/haskell-chartA 2D charting library for haskell
Haskell UpdatedJun 6, 2023 -
-
-
smtcoq Public
Forked from smtcoq/smtcoqCommunication between Coq and SAT/SMT solvers
OCaml Other UpdatedApr 19, 2023 -
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedApr 11, 2023 -
Coherence-of-Heyting-arithmetic Public
Forked from youqad/Coherence-of-Heyting-arithmeticCoherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
Coq UpdatedMar 13, 2023 -
-
ipc Public
Forked from rocq-archive/ipcIntuitionistic Propositional Checker
Coq UpdatedFeb 10, 2023 -
-
practical-fm Public
Forked from ligurio/practical-fmA gently curated list of companies using verification formal methods in industry
UpdatedJan 26, 2023 -
TreeAutomataFormalization Public
Forked from AutoProving/TreeAutomataFormalizationCoq MIT License UpdatedJan 18, 2023 -
reglang Public
Forked from rocq-community/reglangRegular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Coq Other UpdatedJan 17, 2023 -
commalg Public
Forked from xuanruiqi/commalgCommutative algebra in Coq/SSReflect
Coq MIT License UpdatedJan 9, 2023 -
awesome-coq Public
Forked from rocq-community/awesome-coqA curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
Creative Commons Zero v1.0 Universal UpdatedJan 5, 2023 -
iterative_convergence Public
Forked from mohittkr/iterative_convergenceFormalization of the iterative convergence error
Coq MIT License UpdatedDec 15, 2022 -
coqeal Public
Forked from rocq-community/coqealThe Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Coq Other UpdatedDec 14, 2022 -
Coq_SomeLinearAlgebra Public
Forked from yforman/Coq_SomeLinearAlgebraFormalizing and proving some linear algebra in Coq, using the Mathematical Components library.
Coq Creative Commons Zero v1.0 Universal UpdatedDec 12, 2022 -
grobner Public
Forked from thery/grobnerA fornalisation of Grobner basis in ssreflect
Coq UpdatedDec 1, 2022 -
Capcha_bot Public
Forked from v2nek/Capcha_botCaptcha bot for telegram superchat
Python UpdatedOct 7, 2022 -
-
sequent-calc-talk Public
Code for the "Logic, machines and sequent calculus" talk
-
-
rustlings-solutions Public
Forked from rust-lang/rustlings🦀 Small exercises to get you used to reading and writing Rust code!
Rust MIT License UpdatedAug 25, 2022 -
cdf-mech-sem Public
Forked from xavierleroy/cdf-mech-semCoq development for the course "Mechanized semantics", Collège de France, 2019-2020
Coq GNU Lesser General Public License v2.1 UpdatedAug 9, 2022 -
extructures Public
Forked from arthuraa/extructuresFinite sets and maps for Coq with extensional equality
Coq MIT License UpdatedAug 9, 2022 -
-
{{ message }}