summaryrefslogtreecommitdiff
path: root/src/proof/alethe
AgeCommit message (Expand)Author
2021-10-26[proofs] Modularize check for whether a clause is singleton (#7497)Haniel Barbosa
2021-10-26[proofs] Alethe: Translate Block of clause pattern rule (#7406)Lachnitt
2021-10-26[proofs] Alethe: Translate AND_INTRO rule (#7405)Lachnitt
2021-10-26[proofs] Alethe: Translate AND_ELIM rule (#7404)Lachnitt
2021-10-26[proofs] Alethe: Translate CONTRA rule (#7403)Lachnitt
2021-10-26[proofs] Alethe: Translate NOT_NOT_ELIM rule (#7402)Lachnitt
2021-10-25[proofs] Alethe: Translate MODUS_PONENS rule (#7401)Lachnitt
2021-10-25[proofs] Alethe: Translate EQ_RESOLVE rule (#7400)Lachnitt
2021-10-25[proofs] Alethe: Translate SPLIT rule (#7399)Lachnitt
2021-10-22[proofs] Alethe: Translate FACTORING rule (#7398)Lachnitt
2021-10-22[proofs] Alethe: Translate CHAIN_RESOLUTION rule (#7397)Lachnitt
2021-10-20[proofs] Alethe: Documentation on Translation (#7394)Lachnitt
2021-09-23[proofs[ Alethe: Fix Order of Arguments of addAletheStepFromOr (#7237)Lachnitt
2021-09-23[proofs] Alethe: Translate THEORY_REWRITE (#7236)Lachnitt
2021-09-23[proofs] Alethe: Add Alethe Files to be Compiled (#7241)Lachnitt
2021-09-23[proofs] Alethe: Translate SCOPE rule (#7224)Lachnitt
2021-09-21[Proofs] Alethe: Translate ASSUME rule (#7213)Lachnitt
2021-09-21[proofs] Alethe: Implementation of AletheProofPostprocessCallback (#7212)Lachnitt
2021-09-20[proofs] Alethe: adds a node converterHaniel Barbosa
2021-09-17[proofs] Alethe: Added Proof Postprocessor to alethe_proof_processor (#7202)Lachnitt
2021-09-17[proofs] Alethe: Added Final Callback Function to alethe_proof_processor (#7200)Lachnitt
2021-09-15[proofs] Alethe: Added Callback Function to alethe_proof_processor (#7186)Lachnitt
2021-09-15[proof] Added printer for proof rule names (#7185)Lachnitt
2021-09-15[proof] Alethe proof rules (#7180)Lachnitt
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback