kangrongji/cubical-classics

An attempt towards univalent classical mathematics in Cubical Agda.

Agda
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...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
plt-amy/1labAgdaHaskellNix2500450
msp-strath/TypOSHaskellTeXAgda111020
jonsterling/agda-synthetic-domain-theoryAgda13000
isovector/denotational-arithmetic-zurihacAgda6010
gregr/experimentsRacketSchemeHaskell12030
martinescardo/HoTTEST-Summer-SchoolTeXAgdaHTML2460630
mikeshulman/ohttAgda34020
input-output-hk/formal-ledger-specificationsAgdaTeXNix180100
CMU-HoTT/serre-finitenessAgda14010
jmchapman/Relative-MonadsAgda24020