issues
search
meta-introspector
/
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
http://unimath.org/
Other
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
enhancement : compose train/splits on-the-fly using coq paths
#23
Josephrp
opened
5 months ago
0
`total2_paths2`
#22
jmikedupont2
opened
5 months ago
3
`assoc`
#21
jmikedupont2
opened
5 months ago
0
`hsubtype_univalence`
#20
jmikedupont2
opened
5 months ago
0
Snarks
#19
jmikedupont2
opened
5 months ago
1
bug report
#18
jmikedupont2
closed
5 months ago
0
coq ltac reflection
#17
jmikedupont2
opened
5 months ago
5
unilife
#16
jmikedupont2
opened
5 months ago
5
reflect
#15
jmikedupont2
opened
5 months ago
2
JSON and the Arogonauts
#14
jmikedupont2
opened
5 months ago
0
Lord of the unimath rings
#13
jmikedupont2
opened
5 months ago
5
Ode to Vladimir Voevodsky
#12
jmikedupont2
opened
5 months ago
3
Unimath the meme
#11
jmikedupont2
opened
5 months ago
9
Bug/weqdirprodasstor
#10
jmikedupont2
opened
5 months ago
0
Unimath UU as poem
#9
jmikedupont2
opened
5 months ago
4
Sexpr
#8
jmikedupont2
opened
5 months ago
0
Feature/serlib
#7
jmikedupont2
opened
5 months ago
0
heros math
#6
jmikedupont2
opened
5 months ago
9
Algebra
#5
jmikedupont2
opened
5 months ago
1
Room design
#4
jmikedupont2
opened
5 months ago
6
Hack/metacoq2 metacoq on ocaml
#3
jmikedupont2
opened
5 months ago
0
metacoq
#2
jmikedupont2
opened
5 months ago
0
adding docs
#1
jmikedupont2
opened
5 months ago
0