Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in lean

How to use the summation sign in lean?

syntax libraries lean

Loops in Lean programming language

loops lean

Definition of choice in Lean

lean

Mathlib keeps rebuilding even after I `lake exe cache get`

lean mathlib lake

Why haven't newer dependently typed languages adopted SSReflect's approach?

rocq-prover agda idris dependent-type lean

extending or inferring (PID / UFD) in a Lean class definition

typeclass lean

How to prove a = b → a + 1 = b + 1 in lean?

dependent-type formal-verification lean

How to define mutual inductive propositions in Lean?

dependent-type theorem-proving mutual-recursion lean

How enter symbols in VS Code for Lean (macOS)

visual-studio-code lean

Proving substitution property of successor over equality

dependent-type theorem-proving formal-verification lean

Why do Calculus of Construction based languages use Setoids so much?

coq agda lean

what's the difference between lean, f*, and dafny?

dafny lean fstar