leanprover Goto Github PK
Name: Lean
Type: Organization
Bio: Lean Prover
Twitter: leanprover
Blog: https://lean-lang.org/
Name: Lean
Type: Organization
Bio: Lean Prover
Twitter: leanprover
Blog: https://lean-lang.org/
Ace for Lean Theorem Prover
A collection of tools for writing technical documents that mix Coq code and prose.
CMU 15-815 Spring 2015 : Interactive Theorem Proving
See https://github.com/Homebrew/homebrew-core/blob/master/Formula/lean.rb
Document Generator for Lean 4
The Lean version manager
Auxiliary repository to store emacs packages required by Lean Emacs mode
Functional Programming in Lean
A book about functional programming in Lean
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
GitHub action for standard CI in Lean projects
Custom-built LLVM toolchain for use in Lean 4
Emacs mode for Lean
Lean nightly builds
Lean ported to Javascript with Emscripten
A TextMate bundle for the Lean language
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Lean Theorem Prover
Lean web editor
Lean 4 programming language and theorem prover
A copy of the lean4 repository to test changes to the repository and CI setup
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Nightly builds
Automated releases from leanprover/lean4 PRs
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
Plain-text declaration export for Lean 4
Lean 4 fork for working in progress development
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.