Skip to content
GitLab
Explore
Sign in
LARA
lisa
Merge requests
Open
0
Merged
111
Closed
27
All
138
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{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
Update printer
!1
· created
Feb 16, 2022
by
Viktor Kuncak
Merged
0
updated
Feb 16, 2022
New proof steps for instantiation, manual updated
!2
· created
Feb 16, 2022
by
Viktor Kuncak
Merged
0
updated
Feb 16, 2022
Proof judgement ADT, sugars and printer
!3
· created
Feb 21, 2022
by
Viktor Kuncak
Merged
0
updated
Mar 14, 2022
Various corrections, new set theory development as better examples.
!6
· created
Mar 25, 2022
by
Viktor Kuncak
Merged
0
updated
Mar 25, 2022
Multiple changes to the running theories
!7
· created
Apr 15, 2022
by
Viktor Kuncak
Merged
0
updated
Apr 15, 2022
New substitution mechanism
!8
· created
Apr 24, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 03, 2022
Correction of small error regarding function and predicate definition. Fix to missing case in printer match.
!11
· created
May 15, 2022
by
Viktor Kuncak
Merged
0
updated
May 15, 2022
Allow adding only constant (no schematic) symbols to a running theory
!14
· created
Jun 08, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 11, 2022
Scalafix, Scalafmt, github CI and bug fix in the equivalent checker
!15
· created
Jun 09, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 09, 2022
Update .gitignore for more build tools and IDEs
!16
· created
Jun 10, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 11, 2022
Run scalafmt and scalafix on src/main and src/test
!17
· created
Jun 10, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 11, 2022
Fix CI
!18
· created
Jun 11, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 11, 2022
Various improvements and refactoring
!19
· created
Jun 11, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 13, 2022
Proposal: re-organization into separate modules
!20
· created
Jun 13, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 23, 2022
Code reorganization and helpers
!22
· created
Jun 13, 2022
by
Viktor Kuncak
Merged
0
updated
Jun 13, 2022
Theories
!24
· created
Jun 17, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 02, 2022
Variables change
!27
· created
Jul 13, 2022
by
Viktor Kuncak
Merged
0
updated
Oct 02, 2022
Add a test theory to facilitate writing proof assistant tests
!28
· created
Jul 18, 2022
by
Viktor Kuncak
Merged
0
updated
Jul 19, 2022
Add a util to recover an incorrect proof step given a path
!29
· created
Jul 18, 2022
by
Viktor Kuncak
Merged
0
updated
Aug 05, 2022
In CI, run tests before checking style
!31
· created
Aug 01, 2022
by
Viktor Kuncak
Merged
0
updated
Aug 05, 2022
Prev
1
2
3
4
5
6
Next