Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Proof that any fixed-axis type system fails for some domain (formalized in Lean) | Heykuki News
Proof that any fixed-axis type system fails for some domain (formalized in Lean)
zenodo.org
2 points
trissim
5 months ago
1 comment
Loading...