GeezerVison is showing github.com — Logic and Semantics @ Aarhus University
Popular repositories
Loading
Probabilistic separation logics for verifying higher-order probabilistic programs.
Rocq Prover
46
11
Program logic for developing and verifying distributed systems
Rocq Prover
39
8
Formalisation of a capability machine and principles for reasoning about security properties
Rocq Prover
29
8
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C++
Coq
HTML
Lean
OCaml
Rocq Prover
TeX
Sort
Showing 10 of 37 repositories
griotte
Public
Rocq implementation of Griotte
logsem/griotte's past year of commit activity
Rocq Prover
2
0
0
1
Updated Nov 12, 2026
clutch
Public
Probabilistic separation logics for verifying higher-order probabilistic programs.
logsem/clutch's past year of commit activity
Rocq Prover
46
MIT
11
0
4
Updated Nov 11, 2026
clutch-lean
Public
Probabilistic separation logics for verifying higher-order probabilistic programs in Lean.
logsem/clutch-lean's past year of commit activity
Lean
2
0
0
0
Updated Nov 6, 2026
cerise
Public
Formalisation of a capability machine and principles for reasoning about security properties
logsem/cerise's past year of commit activity
Rocq Prover
29
8
5
2
Updated Oct 13, 2026
logsem/iris-project's past year of commit activity
HTML
3
30
1
2
Updated Oct 4, 2026
logsem/iris-lecture-notes's past year of commit activity
TeX
19
6
10
0
Updated Sep 26, 2026
logsem/iris-tutorial-lean's past year of commit activity
Lean
3
3
0
1
Updated Sep 5, 2026
logsem/cerise-interpreter's past year of commit activity
OCaml
3
0
0
0
Updated Aug 31, 2026
lawyer
Public
Rocq mechanization of Lawyer liveness logic and its extension for wait-freedom
logsem/lawyer's past year of commit activity
Rocq Prover
3
MIT
0
0
0
Updated Aug 26, 2026
trillium
Public
The Trillium logic for proving trace refinement properties such as liveness via Iris
logsem/trillium's past year of commit activity
Coq
7
MIT
3
0
4
Updated Aug 26, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.