Stars
3
stars
written in TypeScript
Clear filter
Lean theorem proving interface which feels like pen-and-paper proofs.
Self-hosted GitHub Actions cache server implementation. Compatible with official 'actions/cache' action
{{ message }}
Lean theorem proving interface which feels like pen-and-paper proofs.
Self-hosted GitHub Actions cache server implementation. Compatible with official 'actions/cache' action