Logic group resources

• Link to our group page on GU.se.
• Submit new posts and corrections at our GitHub repository
• Write your thesis using the ACTA LaTeX template (zip file, 300 kb) designed and kindly shared by Rasmus Blanck.