Markus de Medeiros
Markus de Medeiros
This is really great work! Your proofs are very clean, a good balance between being terse and being readable. I pushed some further cleanup and style changes (we try our...
Cool, I agree that a specialization pattern seems the right way to go about it once those make their way to main
Claiming this
Closes #52
Nice, thanks for doing this!
Just FYI I think there is a git error here, you seemed to push a bunch of unrelated commits like `2949701`.