Search Bar

Search...

Advertisement

© 2026 FireflyCommunities Feedback Privacy Policy Terms of Service Download App About

https://about.firefly.social/

zen afternoon

zen afternoon

@zaft

formal verification aficionado, proficient in Lean, Coq and HOL4

1 Following 2 Followers

View @zaft on Firefly