issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
applications of the serre spectral sequence
#13
fpvandoorn
opened
6 years ago
0
base change of spectral sequences
#12
fpvandoorn
closed
6 years ago
0
define spectral sequences
#11
fpvandoorn
closed
6 years ago
0
change definition of graded morphism
#10
fpvandoorn
closed
6 years ago
0
formalize cup product for EM-spaces
#9
fpvandoorn
opened
6 years ago
0
formalize dependent smash
#8
fpvandoorn
closed
6 years ago
1
make instance arguments explicit
#7
fpvandoorn
opened
6 years ago
1
reorganize fiber
#6
fpvandoorn
closed
6 years ago
0
uniformize `_nondep` and `_constant` postfixes
#5
fpvandoorn
closed
6 years ago
0
define binary pointed maps
#4
fpvandoorn
closed
6 years ago
1
use pointed homotopies of pointed homotopies
#3
fpvandoorn
opened
6 years ago
0
move files from Spectral to lean2
#2
fpvandoorn
opened
6 years ago
0
define fiber as a sigma-type
#1
fpvandoorn
opened
6 years ago
0