0
I Use This!
Very Low Activity
Analyzed about 20 hours ago. based on code collected 2 days ago.

Project Summary

A graphical interactive proof assistant designed for education

Tags

proof_assistant

In a Nutshell, holbert...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    check out hot projects on the Open Hub
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Haskell
64%
HTML
28%
CSS
8%
2 Other
<1%

30 Day Summary

Aug 7 2026 — Sep 6 2026

12 Month Summary

Sep 6 2025 — Sep 6 2026
  • 0 Commits
    Down -1 (100%) from previous 12 months
  • 0 Contributors
    Down -1 (100%) from previous 12 months