Published March 3, 2024
| Version 1.2.0
Software
Open
pmGenerator
Creators
Description
This repository contains the source code of the software tool pmGenerator — an exhaustive condensed detachment proof generator for Hilbert systems — and exemplary data generated with assistance of the tool.
More information: README.{html,md} or xamidi.github.io/pmGenerator/README.html
Files
xamidi/pmGenerator-1.2.0.zip
Files
(45.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f4b1026889ef7f113a80295d6ef5f2f4
|
45.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/xamidi/pmGenerator/tree/1.2.0 (URL)
Software
- Repository URL
- https://github.com/xamidi/pmGenerator
- Programming language
- C++
- Development Status
- Active