3 ms·
Requesting help with formalization in Lean! Here’s what I have so far: https://zenodo.org/records/15744937 https://zenodo.org/records/15744937
by tristenharr 1y ago
Requesting help with formalization in Lean!
Here’s what I have so far:
https://zenodo.org/records/15744937 https://zenodo.org/records/15744937