search

mseri / BET

Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6 stars 5 forks source link

Import changes from WIP #37

Closed mseri closed 1 month ago

mseri commented 1 month ago

Addresses https://github.com/mseri/BET/issues/25

mseri commented 1 month ago

@oliver-butterley do you think I should be more aggressive in picking the changes?