Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In

Examples of using LEAN in CoCalc

Project: LEAN
Path: public /
Views: 632
Name
Size
Last Modified
README.md268 bytes8/31/2018, 6:13:29 PM
example.lean1.9 KB9/5/2018, 6:37:35 PM
fib.lean125 bytes8/31/2018, 6:12:17 PM