🛠️ Streamline your complaints with a database of 400+ emails that quickly send messages to Telegram support.

Readings on computational logic, interactive theorem proving and functional programming.

Índice de repositorios.

# Prime-Numbers Web AppThis web app helps users explore prime numbers through features like checking primality and generating sequences. With clear visuals and step-by-step explanations, it makes understanding prime numbers simple and engaging. 🐙✨

Formalization of C++ for verification purposes.

Goose converts a subset of Go to Rocq

Probabilistic separation logics for verifying higher-order probabilistic programs.

🧊 An indexed construction of semi-simplicial and semi-cubical sets

Compiler Backend for LSTS (Typed Macro Assembler)

A Coq tactic for proving multivariate inequalities using SDP solvers

A verification toolchain for Rust programs

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

This repo is the new home of Proof General

Coq plugin embedding elpi

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

A port of Coq to Javascript -- Run Coq in your Browser

Gallina to Bedrock2 compilation toolkit

Language for high-assurance and high-speed cryptography

Mathematical Components