The Last Engineer

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.

Project Activity

See All Activity >

License

Academic Free License (AFL)

Follow The Last Engineer

The Last Engineer Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of The Last Engineer!

Additional Project Details

Operating Systems

Windows

Intended Audience

Education, Science/Research

Programming Language

Related Categories

C# Role-Playing Games (RPG), C# Education Software

Registered

2009-01-14

Similar Business Software

Gradelink SIS

Help your school save time, increase enrollment, and achieve its mission with Gradelink. An award-winning student information system and school management system, Gradelink school management software system is suitable for Preschool through High school. Gradelink is a great fit for higher...

See Software
TelemetryOS

TelemetryOS is a vertically integrated platform for connected screens, kiosks, and screen applications. Purpose-built Node hardware, a hardened Edge operating system, Studio cloud, an integrated video CDN, and an application runtime work together so every display can show the right content,...

See Software
Eurekos

Eurekos is the customer training LMS built to educate the world outside your organization – partners, distributors and resellers. Most companies spend years perfecting their product, then hand customers a repurposed employee training course and hope for the best. When those customers churn,...

See Software
CBT Nuggets

Learning IT doesn’t have to mean boring lectures, the frantic pace of bootcamps, or lots of time away from your job or family. With CBT Nuggets, you can train anytime, anywhere, at your own pace — all from the comfort of your office chair or living room couch. Our training team is made up of...

See Software
Pikmykid

Pikmykid is the leading safety and dismissal platform that empowers schools to simplify dismissal, engage parents, and keep students safe without the need to purchase, install, or support additional hardware. Designed by former educators and parents, Pikmykid has helped more than 2,000 schools...

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software

Report inappropriate content