An educational video game featuring an embedded proof assistant. Because the scope of the project is so large, it is expected that there will be many releases of increasing quality and feature-richness.
License
Academic Free License (AFL)Follow The Last Engineer
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of The Last Engineer!