-
-
GAPT: General Architecture for Proof Theory
Scala GNU General Public License v3.0 UpdatedAug 20, 2025 -
mvn2nix Public
Forked from fzakaria/mvn2nixEasily package your Maven Java application with the Nix package manager.
-
mmj2 Public
Forked from digama0/mmj2mmj2 GUI Proof Assistant for the Metamath project
Java GNU General Public License v2.0 UpdatedJul 5, 2023 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJul 8, 2022 -
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
HTML Creative Commons Zero v1.0 Universal UpdatedJan 5, 2022 -
zipperposition Public
Forked from sneeuwballen/zipperpositionAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…
OCaml BSD 2-Clause "Simplified" License UpdatedDec 17, 2021 -
-
{{ message }}