search

fpvandoorn / lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Apache License 2.0
0 stars 0 forks source link

applications of the serre spectral sequence #13

Open fpvandoorn opened 6 years ago