content/tools/proof-assist/cur.md

+++ title = 'cur' subtitle = 'Proof Assistant' links = [ { title = "Source Code", url = "https://github.com/wilbowma/cur", icon = 'fa-solid fa-code' }, ] applications = ["Theorem Prover","Specification Language"] developers = [] licenses = ["BSD-2-Clause"] inputs = ["Cur"] interfaces = ["CLI"] maintenance = ["Actively Maintained"] draft = false date = 2025-08-22 +++

A language with static dependent-types and dynamic types, type annotations and parentheses, theorem proving and meta-programming.