Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for definition lean
definition
x
lean
x
5 search results found
Lean Scheme
⭐
33
Schemes in Lean
Esverify Theory
⭐
17
Formalism and proofs for esverify
Woottools
⭐
6
Lean mootools-based framework for hashbang-routing and JSON-based DOM definitions.
Lean Quantum
⭐
5
Formalized quantum computing in Lean theorem prover
Two Level
⭐
5
Two-Level Type Theory
Related Searches
Javascript Definition (1,592)
Python Definition (981)
Typescript Definition (908)
Openwrt Lean (807)
Shell Lean (764)
Firmware Lean (473)
Javascript Lean (193)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
