GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → leanprover → Lean

leanprover / Lean

Licence: apache-2.0
Homepage Theorem Proving in Lean FAQ

Programming Languages

C++
36643 projects - #6 most used programming language
Lean
33 projects
CMake
9771 projects
c
50402 projects - #5 most used programming language
shell
77523 projects
python
139335 projects - #7 most used programming language

Labels

verificationtype-theorytheorem-provinglean

Projects that are alternatives of or similar to Lean

gidti
Book: Gentle Introduction to Dependent Types with Idris
Stars: ✭ 70 (-96.51%)
Mutual labels:  theorem-proving, type-theory
Fstar
A Proof-oriented Programming Language
Stars: ✭ 2,171 (+8.23%)
Mutual labels:  verification, theorem-proving
Kind
A modern proof language
Stars: ✭ 2,075 (+3.44%)
Mutual labels:  type-theory
Coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Stars: ✭ 157 (-92.17%)
Mutual labels:  verification
Logic
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Stars: ✭ 149 (-92.57%)
Mutual labels:  verification
Siepic ebeam pdk
SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Stars: ✭ 121 (-93.97%)
Mutual labels:  verification
Immudb
immudb - world’s fastest immutable database, built on a zero trust model
Stars: ✭ 3,743 (+86.59%)
Mutual labels:  verification
Agda
Agda is a dependently typed programming language / interactive theorem prover.
Stars: ✭ 1,699 (-15.3%)
Mutual labels:  type-theory
Email Verifier
✅ A Go library for email verification without sending any emails.
Stars: ✭ 162 (-91.92%)
Mutual labels:  verification
Osvvm
OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Stars: ✭ 140 (-93.02%)
Mutual labels:  verification
Vscode Tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 152 (-92.42%)
Mutual labels:  verification
Cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Stars: ✭ 138 (-93.12%)
Mutual labels:  verification
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stars: ✭ 125 (-93.77%)
Mutual labels:  verification
Express Mongodb Rest Api Boilerplate
A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).
Stars: ✭ 153 (-92.37%)
Mutual labels:  verification
Foundational Knowledge For Programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Stars: ✭ 115 (-94.27%)
Mutual labels:  type-theory
Flutter pinput
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Stars: ✭ 157 (-92.17%)
Mutual labels:  verification
Gini
A fast SAT solver
Stars: ✭ 112 (-94.42%)
Mutual labels:  verification
Cogent
Cogent Project
Stars: ✭ 137 (-93.17%)
Mutual labels:  verification
Hyperkernel
Stars: ✭ 152 (-92.42%)
Mutual labels:  verification
Hott Uf Agda Lecture Notes
Lecture notes on univalent foundations of mathematics with Agda
Stars: ✭ 162 (-91.92%)
Mutual labels:  type-theory
View All Similar Projects ➔
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].