Here's my favorite picture of my blahajs :3 🫶 I have 4 (for now), here are the name :
- Lambda Calcul (the big 1 meter one)
- System F (the 50 centimeter one, he's smaller and therefore can calculate less functions). A gift from a german friend!
- Logique Monadique du second ordre sur les chaines (he's tiny, around 5 cm)
- Rasaj (the tiny pink one, named by a friend of mine)
