And the proof is checked in Lean

 (xenaproject.wordpress.com)

1 points | by trotro 4 hours ago ago

No comments yet.