plfl
plfl copied to clipboard
plfa
Programming Language Foundations in Lean
Results
1
plfl issues
Sort by
recently updated
recently updated
newest added
The key thing to be aware of when using Lean projects is that you should open the root directory (the one containing the `lean-toolchain` file) in VS Code using the...
