Skip to content
View cipher1024's full-sized avatar

Block or report cipher1024

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Lean 3 Theorem Prover (community fork)

C++ 433 80 Updated Oct 12, 2023

Lean standard library

Lean 6 3 Updated Apr 5, 2019

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

Lean 1,663 298 Updated Jun 28, 2024

A framework for formally verifying distributed systems implementations in Coq

Coq 596 56 Updated May 17, 2024

Lean Theorem Prover

C++ 2,150 217 Updated Oct 14, 2023

Parser and pretty-printer for the Rust language

Haskell 86 18 Updated Sep 18, 2023

A llvm to JavaScript compiler

Eiffel 1 1 Updated Jul 26, 2010

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

Eiffel 10 1 Updated Jan 16, 2025

Examples of formal developments

Shell 1 Updated Dec 6, 2009

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

1 Updated Jun 13, 2009

Definition of a language for equational logic.

2 Updated Jul 3, 2009

void-safe-gobo-eiffel

Eiffel 3 Updated May 23, 2009
Showing results