agda

Here are 4 public repositories matching this topic...

Accessing Agda's interaction mode via command line & external tactic for Agda.

agda command-line-tool

Transport sequent proofs across rule changes (e.g. remove Cut). Stability certificates for Lean/Coq/Agda.

coq agda lean proofs formal-verification zero-knowledge nlnet tesl

Neurosymbolic theorem proving platform with 12 prover backends

rust coq agda lean formal-verification theorem-prover palimpsest neurosymbolic hyperpolymath

🔍 Enhance your circuit verification with Lighter Prover, a streamlined tool for efficient theorem proving and logical reasoning.

android swift dependent-types cryptography webdriver spark verification proof-assistant type-theory cryptocurrency agda highlight code-generation zcash helium

Add a description, image, and links to the agda topic page so that developers can more easily learn about it.

To associate your repository with the agda topic, visit your repo's landing page and select "manage topics."