Skip to content
GitLab
Explore
Sign in
Open
0
Merged
111
Closed
27
All
138
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Added subset definition axiom
!48
· created
Sep 23, 2022
by
Sankalp Gambhir
Merged
updated
Apr 14, 2023
Added subset definition axiom
!47
· created
Sep 22, 2022
by
Sankalp Gambhir
Closed
updated
Sep 23, 2022
Implement a parser for LISA kernel
!46
· created
Sep 20, 2022
by
Viktor Kuncak
Merged
updated
Oct 03, 2022
Require that PredicateFormula's and ConnectorFormula's args correspond to the label's arity
!45
· created
Sep 19, 2022
by
Viktor Kuncak
Merged
updated
Sep 29, 2022
Fix a broken link to the reference manual
!44
· created
Sep 05, 2022
by
Viktor Kuncak
Merged
updated
Sep 08, 2022
General grammatical updates for reference manual
!43
· created
Sep 02, 2022
by
Sankalp Gambhir
Merged
updated
Sep 29, 2022
Proof of x+y=y+x in Peano arithmetic
!42
· created
Sep 02, 2022
by
Viktor Kuncak
Merged
updated
Sep 25, 2022
Clarify front tests
!41
· created
Aug 31, 2022
by
Viktor Kuncak
front-integration
Merged
updated
Sep 29, 2022
More updates
!40
· created
Aug 28, 2022
by
Viktor Kuncak
front-integration
Merged
updated
Aug 28, 2022
Front integration
!35
· created
Aug 22, 2022
by
Viktor Kuncak
front-integration
Merged
updated
Aug 22, 2022
Move export SetTheoryLibrary.* from Main to proof files
!33
· created
Aug 05, 2022
by
Viktor Kuncak
Closed
updated
Aug 16, 2022
In ProofCheckerSuite#checkProof, fail if the proof is not valid
!32
· created
Aug 01, 2022
by
Viktor Kuncak
Merged
updated
Aug 02, 2022
In CI, run tests before checking style
!31
· created
Aug 01, 2022
by
Viktor Kuncak
Merged
updated
Aug 05, 2022
When removing a formula from a sequent, remove all isSame formulas
!30
· created
Jul 18, 2022
by
Viktor Kuncak
Closed
updated
Dec 06, 2022
Add a util to recover an incorrect proof step given a path
!29
· created
Jul 18, 2022
by
Viktor Kuncak
Merged
updated
Aug 05, 2022
Add a test theory to facilitate writing proof assistant tests
!28
· created
Jul 18, 2022
by
Viktor Kuncak
Merged
updated
Jul 19, 2022
Variables change
!27
· created
Jul 13, 2022
by
Viktor Kuncak
Merged
updated
Oct 02, 2022
Make proof tactics always return correct proofs given correct components
!26
· created
Jul 01, 2022
by
Viktor Kuncak
Closed
updated
Oct 23, 2022
Add natural language input
!25
· created
Jun 17, 2022
by
Viktor Kuncak
Closed
updated
Jul 04, 2023
Theories
!24
· created
Jun 17, 2022
by
Viktor Kuncak
Merged
updated
Oct 02, 2022
Prev
1
2
3
4
5
6
7
Next