Math225b is a project mainly written in ..., it's free.
This repository contains (possibly incorrect) solutions to the Berkeley Metamathematics class. If you are in the class, please don't cheat.