3 ms·what is that?by hellonik99 1y agowhat is that?ou122 1y agoit's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems