Skip to content
MetaRocq CI

Fix the proof using a hole in the guard checker #33

Sign in to view logs

Fix the proof using a hole in the guard checker

Fix the proof using a hole in the guard checker #33

The logs for this run have expired and are no longer available.