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

New posts in 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