10/23/2023 0 Comments Floris expanded vs evolved![]() ![]() You can install it on Windows, OS X or Linux. The code is open source, and available on Github. ![]() ![]() It is being developed by Leonardo de Moura working at Microsoft Research, and it is still under active development for the foreseeable future. Lean is a new player in the field of proof assistants for Homotopy Type Theory.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |