Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / hrmacbeth / math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hrmacbeth%2Fmath2001

Stars: 128
Forks: 48
Open Issues: 3

License: None
Language: HTML
Repo Size: 5.38 MB
Dependencies: 2

Created: over 2 years ago
Updated: 21 days ago
Last pushed: 27 days ago
Last synced: 27 days ago

Topics: lean4

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .docker/gitpod/Dockerfile docker
    .github/workflows/lean_build.yml actions