issues
search
mseri
/
BET
Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6
stars
5
forks
source link
refactor: extract minimal stuff into separate file and add some comments
#33
Closed
oliver-butterley
closed
1 month ago
oliver-butterley
commented
1 month ago
resolves #23
resolves #23