Related Repos
Search
⌘K
Feedback
Event-Structures / event-struct
Mechanized Theory of Event Structures
☆16
Updated last year
Related projects:
ⓘ
dboulytchev / miniKanren-coq
A certified semantics for relational programming workout.
☆25
Updated 3 years ago
Trebor-Huang / Down-The-Path
Spartan implementation of H.O.T.T.
☆25
Updated 2 years ago
jonsterling / coq-domains