Topic: lean4 Goto Github
Some thing interesting about lean4
Some thing interesting about lean4
lean4,🧪 | Rinha de Backend Lean4
User: aripiprazole
Home Page: https://meoowers.github.io/rinha/rinhabackendsimulation-20230911191507033/
lean4,Catalog Of Math Problems Formalized In Lean
User: dwrensha
Home Page: https://dwrensha.github.io/compfiles/
lean4,The matrix cookbook, proved in the Lean theorem prover
User: eric-wieser
lean4,Ground Zero: Lean 4 HoTT Library
User: forked-from-1kasper
lean4,Lean4 port of Arduino balance car controller
Organization: galoisinc
lean4,Formalizing stochastic doubly-efficient debate
Organization: google-deepmind
lean4,Lean4 Logic Formalization
User: iehality
Home Page: https://iehality.github.io/lean4-logic/book/
lean4,Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
Organization: ipdsnelting
Home Page: https://pp.ipd.kit.edu/lehre/SS2021/tba/
lean4,WIP collections library for Lean 4
User: jamesgallicchio
Home Page: https://jamesgallicchio.github.io/LeanColls/docs/
lean4,Cryptographic routines for the Lean 4 language
User: joehendrix
lean4,neovim support for the Lean theorem prover
User: julian
lean4,LLMs as Copilots for Theorem Proving in Lean
Organization: lean-dojo
Home Page: https://leandojo.org
lean4,Tool for data extraction and interacting with Lean programmatically.
Organization: lean-dojo
Home Page: https://leandojo.org
lean4,White-box automation for Lean 4
Organization: leanprover-community
lean4,The "batteries included" extended library for the Lean programming language and theorem prover
Organization: leanprover-community
lean4,A formal consistency proof of Quine's set theory New Foundations
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/con-nf/
lean4,
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/lean4-metaprogramming-book/
lean4,Emacs major mode for Lean 4
Organization: leanprover-community
Home Page: https://leanprover.github.io/
lean4,Code samples for Lean 4
Organization: leanprover-community
lean4,Server to host lean games.
Organization: leanprover-community
Home Page: https://adam.math.hhu.de
lean4,The Lean 4 web editor
Organization: leanprover-community
Home Page: https://live.lean-lang.org/
lean4,The math library of Lean 4
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/mathlib4_docs
lean4,Natural Number Game
Organization: leanprover-community
Home Page: https://adam.math.hhu.de
lean4,Helper toolkit for creating your own Lean 4 UserWidgets
Organization: leanprover-community
lean4,Intuitive, type-safe expression quotations for Lean 4.
Organization: leanprover-community
lean4,**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
Organization: leanprover
lean4,Lean 4 programming language and theorem prover
Organization: leanprover
Home Page: https://lean-lang.org
lean4,A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Organization: leanprover
lean4,LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Organization: leanprover
lean4,Theorem Proving in Lean 4
Organization: leanprover
Home Page: https://leanprover.github.io/theorem_proving_in_lean4/
lean4,Scientific computing in Lean 4
User: lecopivo
lean4,LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
User: loganrjmurphy
Home Page: http://arxiv.org/abs/2405.17216
lean4,Lean theorem proving interface which feels like pen-and-paper proofs.
Organization: paper-proof
lean4,Natural language tactics to teach mathematics using Lean 4
User: patrickmassot
lean4,Learn Lean 4 with PLFA proofs.
User: rami3l
lean4,Tools based on AI for helping with Lean 4
User: siddhartha-gadgil
lean4,Experiments with SAT solvers with proofs in Lean 4
User: siddhartha-gadgil
lean4,Tactics for discharging Lean goals into SMT solvers.
Organization: ufmg-smite
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.