0
I Use This!
Inactive
Analyzed 2 days ago. based on code collected 8 days ago.

Project Summary

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.

Tags

No tags have been added

In a Nutshell, The Last Engineer...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    data presented on the Open Hub is available through our API
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

C#
82%
XML
18%

30 Day Summary

Dec 31 2024 — Jan 30 2025

12 Month Summary

Jan 30 2024 — Jan 30 2025

Ratings

Be the first to rate this project
Click to add your rating
  
Review this Project!