rml, 11 months ago Getting interested in #Lean upon reading that the community isn't very concerned about whether it meets constructivists' criteria for theoretical soundness #TypeTheory #fp
Getting interested in #Lean upon reading that the community isn't very concerned about whether it meets constructivists' criteria for theoretical soundness
#TypeTheory #fp
Add comment