Skip to content
GitLab
Explore
Sign in
Open
3
Merged
52
Closed
9
All
64
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
Make the spec for filter stronger
!68
· created
Oct 18, 2024
by
Amin Timany
Merged
1
updated
Nov 26, 2024
bump to Coq 8.20
!67
· created
Oct 02, 2024
by
Ralf Jung
Merged
updated
Oct 02, 2024
bump to Coq 8.19
!66
· created
Oct 02, 2024
by
Ralf Jung
Merged
updated
Oct 02, 2024
Fix broken proofs for improved iFrame ∃
!65
· created
Feb 16, 2024
by
Ike Mulder
Merged
updated
Feb 16, 2024
logrel: Change nat to int
!64
· created
Feb 15, 2024
by
Amin Timany
Merged
4
updated
Feb 15, 2024
update dependencies
!63
· created
Oct 26, 2023
by
Pierre Roux
Merged
2
updated
Oct 30, 2023
Attempt to fix Coq CI
!62
· created
Mar 16, 2023
by
Pierre Roux
Merged
2
updated
Mar 16, 2023
cleanup logrel
!57
· created
Aug 26, 2022
by
Amin Timany
Merged
1
updated
Aug 26, 2022
add counter with backup case study
!56
· created
Aug 14, 2022
by
Ralf Jung
Merged
updated
Jul 14, 2023
do not rely on make_laterable in logatom triples any more
!55
· created
Aug 09, 2022
by
Ralf Jung
Merged
2
updated
Aug 10, 2022
Bump Iris
!51
· created
Jul 20, 2022
by
Lennard Gäher
Merged
updated
Jul 20, 2022
Bump iris
!48
· created
Jan 14, 2022
by
Matthieu Sozeau
Merged
updated
Jan 14, 2022
Bump iris
!47
· created
Jan 13, 2022
by
Matthieu Sozeau
Merged
1
updated
Jan 13, 2022
fix names
!45
· created
Jul 23, 2021
by
Amin Timany
Merged
22
updated
Jul 23, 2021
Embedding of classical logic in Coq + proof mode support.
!44
· created
May 12, 2021
by
Robbert Krebbers
Merged
1
updated
May 14, 2021
remove logreal/heaplang in favor of POPL20 tutorial
!42
· created
Oct 01, 2020
by
Ralf Jung
Merged
1
updated
Oct 01, 2020
Fix dead link in README.md
!41
· created
Sep 02, 2020
by
Léo Stefanesco
Merged
1
updated
Sep 02, 2020
LICENSE: Clarify which BSD license is being used
!40
· created
Jul 10, 2020
by
Paolo G. Giarrusso
Merged
1
updated
Jul 11, 2020
Update dependencies
!39
· created
Jun 18, 2020
by
Simon Friis Vindum
Merged
2
updated
Jun 18, 2020
Use the persistent function space in logical relations and add the symbol table example
!38
· created
Jun 11, 2020
by
Amin Timany
Merged
86
updated
May 20, 2021
Prev
1
2
3
Next