C
condensed detachment

Projects with this topic

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
View pmData project

Samiro Discher / pmData

Data on Hilbert proof systems, primarily created by pmGenerator. Foundations for system exploration. (Mirror of https://github.com/xamidi/pmData)

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

condensed de... formal proofs Frege systems Hilbert systems logic modal logic propositiona...

1

Updated Jul 29, 2026

1 0 0 0

Updated Jul 29, 2026