Remember reading the white paper for Simplicity in 2020 and hearing about coq (a formal proof language) for the first time.
Spent some time learning it a bit, and even more time making jokes about the name 😅
Maybe time for a re-read: https://blockstream.com/simplicity.pdf
nostr:note1tsavf3wnqujnamj7wacct0gjv5vltwe0k74f64k5zg9r6pjs20fqhhzan0