Conversation

✨ Jean Yang ✨
@jeanqasaur
emoji for program verification tools 🐓 Coq ⭐️ F* 🧐 Isabelle 👍 Agda 🚀 BLAST 💫 Spin 🤘 Alloy 🐉 Idris 🍹 Liquid Haskell 🌏 Z3
Quote Tweet
Kate
@thingskatedid
·
emoji for less cool programing languages 🅰️ Algol 🅱️ BCPL-- 💥 C 💰 Cobol 🆑 Common Lisp 🔢 Fortran 💢 IBM PL/360 🅾️ Oberon ❓ PHP ✅ Prolog
Show this thread
13
145