3 ms·Chuckle. What an odd choice to use HTT for a JetBrains theorem prover.by auggierose 7y agoChuckle. What an odd choice to use HTT for a JetBrains theorem prover.