Concepts
Verus (proof system)
—monthly views
0copies owned
—player watchlists
Concepts
Verus (proof system)
Proof system for the Rust programming language
common · Q141488238
Related cards · formal system
See all 92
Concepts
First-order logic
—monthly views
0copies owned
—player watchlists
Concepts
Peano axioms
—monthly views
0copies owned
—player watchlists
Concepts
Propositional logic
—monthly views
0copies owned
—player watchlists
Concepts
Fuzzy logic
—monthly views
0copies owned
—player watchlists
Concepts
NAND logic
—monthly views
0copies owned
—player watchlists
Concepts
Homotopy type theory
—monthly views
0copies owned
—player watchlists
Related cards · formal verification
See all 6 Meta topics
Automated theorem proving
—monthly views
0copies owned
—player watchlists
Concepts
ATS (programming language)
—monthly views
0copies owned
—player watchlists
Works
Frama-C
—monthly views
0copies owned
—player watchlists
Works
KeY
—monthly views
0copies owned
—player watchlists
Works
Fluctuat
—monthly views
0copies owned
—player watchlists
Related cards · computer program
See all 716
Works
Amazon Alexa
—monthly views
0copies owned
—player watchlists
Pop culture
AlphaGo
—monthly views
0copies owned
—player watchlists
.png/330px-Anubis_challenge_screen_(dark).png)
Works
Anubis (software)
—monthly views
0copies owned
—player watchlists
Works
AlphaZero
—monthly views
0copies owned
—player watchlists
Works
Amazon Echo
—monthly views
0copies owned
—player watchlists
.svg/330px-Modern_AutoHotkey_Logo_(no_text).svg.png){kind=logo}
Works
AutoHotkey
—monthly views
0copies owned
—player watchlists