Readingclub
Reading club on programming languages and formal methods
Install / Use
/learn @dfava/ReadingclubREADME
Reading Club
We are a reading club interested in topics related to programming languages (PL) and formal methods (FM). Get together to read and discuss research papers that are interesting to us. The goal is to learn and help each other learn.
