Skip to content
main

fix(lean-imt): After a sequence of updates a proof is invalid. #180

Sign in to view logs

fix(lean-imt): After a sequence of updates a proof is invalid.

fix(lean-imt): After a sequence of updates a proof is invalid. #180

tests

tests
succeeded Dec 2, 2024 in 4m 11s