Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for syntax highlighting lean
lean
x
syntax-highlighting
x
2 search results found
Theorem_proving_in_lean
⭐
41
Theorem proving in Lean
Tree Sitter Lean
⭐
18
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Related Searches
Highlighter Syntax Highlighting (1,822)
Openwrt Lean (807)
Shell Lean (764)
Javascript Syntax Highlighting (694)
Firmware Lean (473)
Javascript Lean (193)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.