7 ms·
The Github user doesn't even exist. Who writes Lean code in the actual paper but doesn't create a repo or even a username?
by steego 11mo ago
The Github user doesn't even exist.
Who writes Lean code in the actual paper but doesn't create a repo or even a username?