issues
search
mseri
/
BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6
stars
5
forks
source link
Birkhoff cleanup
#47
Closed
mseri
closed
3 weeks ago
mseri
commented
3 weeks ago
From @marcolenci, @oliver-butterley, @pitmonticone and me
From @marcolenci, @oliver-butterley, @pitmonticone and me