C
condensed detachment

Any
Batchfile
BibTeX
BibTeX Style
C
C#
C++
CMake
CSS
Dockerfile
HTML
Java
JavaScript
Jupyter Notebook
MATLAB
Makefile
PHP
Perl
Python
R
Rust
SCSS
Shell
Tcl
TeX
TypeScript

Projects with this topic

Sort by:

Sort by
Updated date
Name
Name, descending
Oldest updated
Oldest created
Last created
Most stars
Hide archived projects
Show archived projects
Show archived projects only

View pmGenerator project

Samiro Discher / pmGenerator

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory. (Mirror of https://github.com/xamidi/pmGenerator)

https://xamidi.pages.git.nrw/pmGenerator

condensed de... formal logic formal methods Hilbert systems HPC logic mathematical... Metamath modal logic MPI proof comple... proof engine... proof minimi... proof search proof theory propositiona... TBB theorem prover

1

Updated Jul 29, 2026

1 0 0 0

Updated Jul 29, 2026