issues
search
mseri
/
BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6
stars
5
forks
source link
Minimise imports and add links to Mathlib PR
#62
Closed
pitmonticone
closed
2 weeks ago