All issues

-E and -I justification do not parse

#16

· leovt opened

on Sep 9, 2024

Divergence

#15

· gimenes2008 opened

on Jan 20, 2023

Are formulas with more than 3 quantifiers intentionally excluded?

#14

· heidelberg1386 opened

on Apr 6, 2021

Allow zero-place predicates in FOL

#12

· rzach opened

on Apr 6, 2019

examples contain invalid syntax

#11

· rogpeppe opened

on Apr 6, 2019

Document the code

#5

· rzach opened

on Oct 1, 2017

Modularize code

#4

· rzach opened

on Oct 1, 2017

Save, load proofs

#3

· rzach opened

on Oct 1, 2017

Renumber justifications when adding or deleting lines

#1

· rzach opened

on Oct 1, 2017