jiangsy/fp_course
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
26 commits 2 branches 0 tags 217 KiB
  • Rocq Prover 87.2%
  • Agda 12.8%
Find a file
Exact
Shengyi Jiang b724bc18ae minor updates
2021-12-23 15:50:21 +08:00
cpdt minor updates 2021-12-23 15:50:21 +08:00
cs410 add lec5 and change it to indexed cursor coords 2021-05-20 20:43:16 +08:00
epit_2020/01-introduction-to-hott start trying some hott 2021-12-10 01:41:45 +08:00
sf finished IndProp 2021-12-08 17:00:22 +08:00
.gitignore finish Ex1 2021-05-08 20:38:08 +08:00