formal-methods

Jun 28, 2026

• formal-methods
• moc
• formal-methods/model-checking
• formal-methods/theorem-proof

Jun 28, 2026

• lang
• formal-methods/theorem-proof

Jun 28, 2026

• moc
• formal-methods
• algorithm

Jun 28, 2026

• moc
• lang
• formal-methods/theorem-proof

Jun 28, 2026

• proof-assistant
• theorem-proving
• coq
• agda
• lean
• isabelle
• idris
• formal-methods

Jun 28, 2026

• formal-methods
• model-checking
• leslie-lamport
• temporal-logic

May 01, 2022

• lifelog
• rust
• gamedev
• watch/youtube
• formal-methods/theorem-proof
• software/testing
• git
• term
• game
• watch/anime
• watchlater
• todo
• im/wish
• meme

Apr 17, 2022

• rust/crate
• formal-methods/theorem-proof

Apr 01, 2022

• lifelog
• formal-methods/theorem-proof
• formal-methods/model-checking
• fhe
• watch/youtube
• watch/anime
• game
• watch/comic
• im/claim
• idea
• watchlater
• todo

Mar 04, 2022

• formal-methods
• formal-methods/theorem-proof
• term
• formal-methods/model-checking

Feb 13, 2022

• formal-methods/theorem-proof
• lang

Oct 19, 2021

• book
• done
• formal-methods/model-checking
• ipu