Skip to content

DEV Community

# formal

👋 Sign in for the ability to sort posts by relevant, latest, or top.

wintrover

Apr 21

Inside Axiom’s Verification Kernel: BMC, UAP, Lean Replay, and the Proof Vault

#axiom #formal #verification #bmc

4 min read

wintrover

Apr 17

Nim vs Rust: Language is a Matter of 'Coherence', Not 'Performance'

#axiom #nim #formal #verification

3 min read

wintrover

Apr 8

The Most Dangerous Word in AI Coding: "Verified"

#axiom #formal #verification #smt

2 min read

wintrover

Apr 6

Architecture Philosophy: Rule-First Design

#axiom #architecture #rulefirst #formal

5 min read

wintrover

Mar 20

Why We Still Don't Trust AI-Generated Code: The Archright Trinity

#devlog #ai #formal #verification

4 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.