jonas-frey

Pinned Repositories

categories
archive of the categories mailing list from 24 Jan 2009 to 3 Sep 2020
Language:PostScript00
CMU-HoTT.github.io-old
Language:HTML0 0 00
cubical
Language:Agda0 0 00
HoTT-2019
Conference on Homotopy Type Theory 2019
Language:CSS0 0 00
hott3
HoTT in Lean 3
Language:Lean0 0 00
HoTTEST-Summer-School
HoTTEST Summer School materials
Language:TeX0 0 00
Impredicative
impredicative encodings in Lean
Language:Lean1 0 00
jonas-frey.github.io
Language:HTML0 1 00
pdfs
2 1 01
segal
Language:Lean10

jonas-frey's Repositories

jonas-frey/pdfs
2 1 01
jonas-frey/Impredicative
impredicative encodings in Lean
Language:Lean1 0 00
jonas-frey/segal
Language:Lean10
jonas-frey/categories
archive of the categories mailing list from 24 Jan 2009 to 3 Sep 2020
Language:PostScript00
jonas-frey/CMU-HoTT.github.io-old
Language:HTML0 0 00
jonas-frey/cubical
Language:Agda0 0 00
jonas-frey/HoTT-2019
Conference on Homotopy Type Theory 2019
Language:CSS0 0 00
jonas-frey/hott3
HoTT in Lean 3
Language:Lean0 0 00
jonas-frey/HoTTEST-Summer-School
HoTTEST Summer School materials
Language:TeX0 0 00
jonas-frey/jonas-frey.github.io
Language:HTML0 1 00
jonas-frey/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Language:C++0 0
jonas-frey/Spectral
Language:Lean0 0
jonas-frey/tdrop
A Glorified WM-Independent Dropdown Creator
Language:Shell0 0
jonas-frey/test
test-repository
jonas-frey/trash-cli
Command line interface to the freedesktop.org trashcan.
Language:Python0 0