Beast code in Giters

Simon Hudon's starred repositories

Lean Theorem Prover

Language:C++Apache-2.02128 117 1124

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanApache-2.01668 52 362

A framework for formally verifying distributed systems implementations in Coq

Language:CoqBSD-2-Clause582 65 25

Lean 3 Theorem Prover (community fork)

Language:C++Apache-2.0435 27 205

Parser and pretty-printer for the Rust language

Language:HaskellBSD-3-Clause86 7 33

The Gobo Eiffel Project provides the Eiffel community with free and portable Eiffel tools and libraries.

Language:EiffelNOASSERTION10 3 1

Lean standard library

Language:LeanApache-2.06 220

Language:Emacs LispGPL-3.0400

Language:Eiffel3 40

Language:Lean300

Definition of a language for equational logic.

200

A llvm to JavaScript compiler

Language:Eiffel100

Examples of formal developments

Language:Shell100

Models for design patterns build in order to prove correctness properties about them.

100