-
opam Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedMar 10, 2025 -
itp-conference.github.io Public
Forked from itp-conference/itp-conference.github.ioHTML UpdatedMar 3, 2025 -
postgres Public
Forked from postgres/postgresMirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
C Other UpdatedJan 23, 2025 -
frocos-itp-tableaux25 Public
Forked from icetcs/frocos-itp-tableaux25Website of FroCoS/ITP/TABLEAUX 2025
HTML UpdatedJan 15, 2025 -
trakt Public
Forked from ecranceMERCE/traktA generic goal preprocessing tool for proof automation tactics i 8000 n Coq
Prolog GNU Lesser General Public License v3.0 UpdatedDec 2, 2024 -
coq-elpi Public
Forked from LPCIC/coq-elpiCoq plugin embedding elpi
Coq GNU Lesser General Public License v2.1 UpdatedOct 15, 2024 -
sqlfs Public
Forked from RadimBaca/sqlfsSQL formal semantics with some extensions
-
-
hugo-embed-pdf-shortcode Public
Forked from anvithks/hugo-embed-pdf-shortcodeA shortcode for Hugo(https://gohugo.io/) which allows you to embed a PDF file in a page using Pdf.js (https://mozilla.github.io/pdf.js/)
JavaScript MIT License UpdatedNov 22, 2023 -
coq Public
Forked from rocq-prover/rocqCoq 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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedSep 13, 2023 -
-
-
smtcoq Public
Forked from smtcoq/smtcoqCommunication between Coq and SAT/SMT solvers
Coq Other UpdatedMar 2, 2023 -
Deeper-Shallow-Embeddings Public
Forked from jeprinz/Deeper-Shallow-EmbeddingsCode accompanying paper
Agda UpdatedFeb 16, 2023 -
qcert Public
Forked from querycert/qcertCompilation and verification of data languages
Coq Apache License 2.0 UpdatedJul 29, 2022 -
nixpkgs Public
Forked from siraben/nixpkgsNix Packages collection
Nix MIT License UpdatedJun 1, 2022 -
Logipedia Public
Forked from Deducteam/LogipediaAn encyclopedia of proofs
OCaml UpdatedJan 25, 2019 -
paramcoq Public
Forked from aa755/paramcoqCoq plugin for parametricity
OCaml Other UpdatedOct 25, 2018 -
FStar Public
Forked from FStarLang/FStarVerification system for effectful programs
OCaml Apache License 2.0 UpdatedSep 19, 2017
{{ message }}