Type Theory Forall
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
We still need to sell one or two shirts to cover the merch store operational costs, send help 🫠
store.typetheoryfora...
store.typetheoryfora...
September 19, 2025 at 12:02 PM
We still need to sell one or two shirts to cover the merch store operational costs, send help 🫠
store.typetheoryfora...
store.typetheoryfora...
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
September 12, 2025 at 6:02 PM
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
September 5, 2025 at 12:54 PM
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
August 29, 2025 at 5:13 PM
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
August 26, 2025 at 11:05 PM
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
August 11, 2025 at 10:41 PM
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
August 4, 2025 at 6:23 PM
This is your weekly reminder that we have a store with awesome Type Theory / PLT merch. Check it out at store.typetheoryfora...
Brazil's cutting-edge security includes deploying SMT solvers right on the streets!
July 18, 2025 at 10:45 PM
Brazil's cutting-edge security includes deploying SMT solvers right on the streets!
So apparently they sell Calculus of Inductive Constructions at France
July 1, 2025 at 1:48 PM
So apparently they sell Calculus of Inductive Constructions at France
🚨 New drop alert! 🚨
Support Type Theory Forall and rep your love for types with our official merch 🧵✨
🛒 Check out the store: store.typetheoryfora...
🎁 Use code typetheory for 10% off — limited time only!
Let the world know you quantify forall the right reasons. 🔥
Support Type Theory Forall and rep your love for types with our official merch 🧵✨
🛒 Check out the store: store.typetheoryfora...
🎁 Use code typetheory for 10% off — limited time only!
Let the world know you quantify forall the right reasons. 🔥
May 23, 2025 at 8:54 PM
🚨 New drop alert! 🚨
Support Type Theory Forall and rep your love for types with our official merch 🧵✨
🛒 Check out the store: store.typetheoryfora...
🎁 Use code typetheory for 10% off — limited time only!
Let the world know you quantify forall the right reasons. 🔥
Support Type Theory Forall and rep your love for types with our official merch 🧵✨
🛒 Check out the store: store.typetheoryfora...
🎁 Use code typetheory for 10% off — limited time only!
Let the world know you quantify forall the right reasons. 🔥
Hey, have you seen the exclusive Type Theory merch?
store.typetheoryfora...
Enjoy our 10% off sales! Use the discount code `typetheory`
store.typetheoryfora...
Enjoy our 10% off sales! Use the discount code `typetheory`
May 19, 2025 at 6:51 PM
Hey, have you seen the exclusive Type Theory merch?
store.typetheoryfora...
Enjoy our 10% off sales! Use the discount code `typetheory`
store.typetheoryfora...
Enjoy our 10% off sales! Use the discount code `typetheory`
Can we take some time to talk about What Works and what doesn't work selling formal methods in the industry? www.galois.com/artic...
May 9, 2025 at 2:02 PM
Can we take some time to talk about What Works and what doesn't work selling formal methods in the industry? www.galois.com/artic...
