Giters
felko
/
linear-algebra
Linear algebra formalization in Agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
2
Issues:
0
Forks:
0
felko/linear-algebra Stargazers
Aiden
Aiden01
Ardakaniz
Erjohn
Erjohn25
francoissunatori
Milo
iitalics
E
Lolirofle
Mesabloo
Mesabloo
shika-blyat
Guillaume Raffin
TheElectronWill
Pâris DOUADY
Uriopass
vanaur
Eric Bailey
yurrriq