📜 Proof Languages - abnv · Scour

Large Language Model for OWL Proofs

arxiv.org·1d

⚖️Inference Rules

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

🔗Concatenative Theory

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Making a Language

thunderseethe.dev·7h

🔬programming language theory

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·2d

🧮Theorem Provers

The Helpful Adversary

dev.to·1d·

Discuss: DEV

🐚Shell Languages

Calculus Made Easy

calculusmadeeasy.org·14h

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

🎭Program Synthesis

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

DELTA-X: An Invariant, Auditable Reasoning Framework for Humans and AI

osf.io·1d·

Discuss: DEV

🧩Constraint Logic

We built Cedar with automated reasoning and differential testing (2023)

amazon.science·2d·

Discuss: Hacker News

🧩Constraint Logic

New comment by Rochus in "Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless"

news.ycombinator.com·4d·

Discuss: Hacker News

✅Type Checking

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Use of Assertions

blog.regehr.org·14h

🔍Static Analysis

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

Verifying a Quantum State More Efficiently

link.aps.org·1d

🔗Hash Functions

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌲Tree-sitter

Loading more...