Translate Flux Bool to Prop in Lean and open Classical everywhere#1527
Merged
ranjitjhala merged 3 commits intomainfrom Mar 3, 2026
Merged
Translate Flux Bool to Prop in Lean and open Classical everywhere#1527ranjitjhala merged 3 commits intomainfrom
ranjitjhala merged 3 commits intomainfrom
Commits
Commits on Mar 2, 2026
Commits on Mar 3, 2026
- committed