Follow us on Bluesky
  1. Bluesky Tags /
  2. #ITP

#ITP

In the past 30 days, 13 users have made 137 posts using the #ITP tag.

Related tags

#LeanProver (72) #math (62) #FunctionalProgramming (17) #logic (16) #Coq (16) #Haskell (12) #AI (11) #LLMs (10) #teaching (6) #programming (5) #python (5) #ATP (5) #compsci (5)
View posts on Bluesky
Back to all tags