Excited to go to #AAAI23 next week to present our work on FOLL-E, our tool for teaching first-order logic to children. Fun, intuitive and free from finicky syntax and scary maths! Come check us out at the #EAAI23 track! 🙂