-
Notifications
You must be signed in to change notification settings - Fork 24
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#114 In sneeuwballen/zipperposition;
- Status: Open.#110 In sneeuwballen/zipperposition;
- Status: Open.#93 In sneeuwballen/zipperposition;
- Status: Open.#88 In sneeuwballen/zipperposition;
exception in proof checking
I-proof-checkproof checkingproof checkingStatus: Open.#78 In sneeuwballen/zipperposition;- Status: Open.#77 In sneeuwballen/zipperposition;
sometimes kbo is really bad
help wantedcontributions welcome!contributions welcome!I-perfperformance related issuesperformance related issuesStatus: Open.#75 In sneeuwballen/zipperposition;investigate bad behavior of int-semantic-tauto
help wantedcontributions welcome!contributions welcome!Status: Open.#74 In sneeuwballen/zipperposition;- Status: Open.#72 In sneeuwballen/zipperposition;
type inference error on Problems/SEU/SEU916^5.p
I-cnfCNF and type inferenceCNF and type inferenceStatus: Open.#71 In sneeuwballen/zipperposition;type inference for CSR
I-cnfCNF and type inferenceCNF and type inferenceStatus: Open.#70 In sneeuwballen/zipperposition;Proof checking: Issue with lambda-expressions and sidekick
D-mediummedium difficultymedium difficultyI-proof-checkproof checkingproof checkingStatus: Open.#67 In sneeuwballen/zipperposition;