FordUniver LeanBlockCourse26 General · Discussions · GitHub

Proof golf: annoying MyNat addition example
General FordUniver

Sort by: Latest activity

General Discussions

Chat about anything and everything here

You must be logged in to vote

Macro Rule

carabennett started Mar 11, 2026 in General

0
You must be logged in to vote

Proof golf: annoying MyNat addition example

FordUniver started Mar 11, 2026 in General

7