1.2.0
8a231d7d
·
w3: reduced D-proofs for CCpCqrCCpqCpr,CCNpNqCqp,CCpqCCqrCpr,CCNppp
·
Mar 03, 2024
Release:
pmGenerator 1.2