
@ElliotGlazer using the frontend is not the final way to verify this; you should be using a kernel verifier to catch all cases. people doing this at scale generally use something like github.com/leanprover/com… or github.com/GasStationMana…

English
Eric
30 posts


















