The Symbolibre project started as a project course in our theoretical computer science master’s degree at the ENS de Lyon.

Our second semester is now over, and we have handed the thirty-page final report. It details our motivations, our work and the future of the project.

Indeed the end the course is not the end of the project! We’ve been slower in the past few weeks, but we’re still developing the code and getting ready to publish the source of the programs under a free license.

Keep an eye on our Atom feed to stay tuned!

Download the report (PDF, 9.4 MB)