although this has me re-examining assumptions, i found this section on the wikipedia page of intuitionistic type theory that suggests Lean at the very least is decidable:
the more you know.
Talha Qamar
@1024moons.bsky.social
17 followers 27 following 23 posts
Electrical engineering student. Also a programmer. Those are my two things. If you think you recognize me; no you don't. 1024moons.github.io
