introductory proof with lean 4 natural numbers

Name: introductory proof with lean 4 natural numbers
Uploaded: Oct 4, 2022
Description: introductory proof with lean 4 natural numbers