5 ms·Fair enough, I haven't used many proof assistants without dependent types, and I probably should.by markusde 2y agoFair enough, I haven't used many proof assistants without dependent types, and I probably should.