2 ms·
Oh my goodness, this is awesome. It's like the tactics language of Coq, but less irritating and pretty formatting. I will be recommending this to everyone!
by tombert 5y ago
Oh my goodness, this is awesome. It's like the tactics language of Coq, but less irritating and pretty formatting. I will be recommending this to everyone!