GitHub topics: coinduction
tean-lai/regex-decider
deciding regex equivalence with automata theory
Language: OCaml - Size: 43 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
andreasabel/continuous-normalization
Evaluation of typed terms in Agda using the Delay monad.
Language: Agda - Size: 243 KB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1
wenkokke/EnumeratingTheRationals 📦
a formalisation of the functional pearl "Enumerating the Rationals" by Gibbons, Lester and Bird in Coq
Language: Coq - Size: 374 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0
Isaac-DeFrain/coinduction
Coinductive types + techniques
Language: OCaml - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
wkolowski/Seminar-Bisimulation-and-Coinduction
Code and slides for my talk presented at the seminar.
Language: TeX - Size: 2.76 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 2
dcastrop/coq_ind_coind
A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".
Language: Coq - Size: 204 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
