TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·1d
Loading...Loading more...
TLA+, Model Checking, Coq, Theorem Proving, Specification Languages