Skip to content
<awesome-gh-repos>
vic

liamoc/holbert

A graphical interactive proof assistant designed for education
Source code at GitHub null
liamoc/holbert.json
{
  "createdAt": "2020-09-08T12:57:39Z",
  "defaultBranch": "master",
  "description": "A graphical interactive proof assistant designed for education",
  "fullName": "liamoc/holbert",
  "homepage": null,
  "language": "Haskell",
  "name": "holbert",
  "pushedAt": "2024-11-21T04:43:28Z",
  "stargazersCount": 169,
  "topics": [],
  "updatedAt": "2025-08-21T08:32:25Z",
  "url": "https://github.com/liamoc/holbert"
}

404: Not Found