lambdapi
lambdapi copied to clipboard
Published
20 hours ago •
Deducteam
Deducteam
Proof assistant based on the λΠ-calculus modulo rewriting
Results
141
lambdapi issues
Sort by
recently updated
recently updated
newest added
I have investigated the reconstruction of arithmetic proofs from Alethe. For now, I want to try to reconstruct only the steps that provide the coefficients for the simplex. Example: Here...
