lambda-mountain icon indicating copy to clipboard operation
lambda-mountain copied to clipboard

Published 20 hours ago • verified publisher icon andrew-johnson-4

Yield Gallina proofs of object properties as Gallina programs

Open andrew-johnson-4 opened this issue 1 year ago • 2 comments
trafficstars

LM doesn't deserve trust yet. It would be nice to have an option to verify all asserted properties. This would dovetail nicely with the LSTS Frontend too.

andrew-johnson-4 avatar Jul 28 '24 04:07 andrew-johnson-4