Anonymous user
Category:Lean: Difference between revisions
Created page with "{{language |exec=machine |strength=strong |safety=safe |checking=both |gc=yes |LCT=yes}} {{implementation|Lean}} {{language programming paradigm|functional}} {{language progra..."
(Created page with "{{language |exec=machine |strength=strong |safety=safe |checking=both |gc=yes |LCT=yes}} {{implementation|Lean}} {{language programming paradigm|functional}} {{language progra...") |
(No difference)
|