serious thoughts and empty ideas
Subscribe
Sign in
A Home for Intuitionistic Type Theory in…
Jan-Paul Ramos
May 23, 2023
1
Through the thick philosophical forest, comes a somewhat useful tool for a somewhat useful brain.
Read →
Comments
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
A Home for Intuitionistic Type Theory in…
Through the thick philosophical forest, comes a somewhat useful tool for a somewhat useful brain.