4 ms·
A language without dependent types wouldn't even let you write down the statement of the theorem, so no.
by Tainnor 1y ago
A language without dependent types wouldn't even let you write down the statement of the theorem, so no.
loading thread…
4 ms·