Skip to content

Add examples of proving a negation in Lean #295

Add examples of proving a negation in Lean

Add examples of proving a negation in Lean #295

Triggered via push January 6, 2024 23:34
Status Success
Total duration 6m 12s
Artifacts

check_proofs.yml

on: push
Fit to window
Zoom out
Zoom in