This is stars and forks stats for /kangrongji/cubical-classics repository. As of 28 Mar, 2024 this repository has 26 stars and 1 forks.
¬¬||🧊|| : Cubical Classics From program halts in the tale, towards program only Übermensch is able to run. The aim of cubical-classics library is to formalize classical mathematics using cubical type theory. Though still a baby project at present, I hope someday it will have some important ideas of modern mathematics eventually. We are open to advices and contributions! Dependency The Cubical Agda standard library, keeping up with the newest (maybe not publicly released yet) version. Content A glimpse...
¬¬||🧊|| : Cubical Classics From program halts in the tale, towards program only Übermensch is able to run. The aim of cubical-classics library is to formalize classical mathematics using cubical type theory. Though still a baby project at present, I hope someday it will have some important ideas of modern mathematics eventually. We are open to advices and contributions! Dependency The Cubical Agda standard library, keeping up with the newest (maybe not publicly released yet) version. Content A glimpse...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
plt-amy/1lab | AgdaHaskellNix | 250 | 0 | 45 | 0 |
msp-strath/TypOS | HaskellTeXAgda | 111 | 0 | 2 | 0 |
jonsterling/agda-synthetic-domain-theory | Agda | 13 | 0 | 0 | 0 |
isovector/denotational-arithmetic-zurihac | Agda | 6 | 0 | 1 | 0 |
gregr/experiments | RacketSchemeHaskell | 12 | 0 | 3 | 0 |
martinescardo/HoTTEST-Summer-School | TeXAgdaHTML | 246 | 0 | 63 | 0 |
mikeshulman/ohtt | Agda | 34 | 0 | 2 | 0 |
input-output-hk/formal-ledger-specifications | AgdaTeXNix | 18 | 0 | 10 | 0 |
CMU-HoTT/serre-finiteness | Agda | 14 | 0 | 1 | 0 |
jmchapman/Relative-Monads | Agda | 24 | 0 | 2 | 0 |