tutch
Typescript implementation of Tutch, a TUTorial proof CHecker.
- Latest release
- Jul 24, 2023
- Releases
- 16
- Known CVEs
- 0
- First release
- May 02, 2019
- License
- GPL-3.0
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 16
- Last 12 months
- 0
- Cadence
- ~3 days
- Dependencies
- 3
Releases per month
last 12 monthsRelease mix
- minor 4
- patch 11
16
releases
Dependencies
Depends on
0.4.1-
moo
^0.5.1
-
nearley
^2.20.1
-
@types/nearley
^2.11.2
Used by
1Releases
| Version | Released | |
|---|---|---|
0.4.1
patch
| ||
0.4.0
minor
| ||
0.3.2
minor
| ||
0.2.1
minor
| ||
0.1.3
patch
| ||
0.1.2
patch
| ||
0.1.1
patch
| ||
0.1.0
minor
| ||
0.0.8
patch
| ||
0.0.7
patch
| ||
0.0.6
patch
| ||
0.0.5
patch
| ||
0.0.4
patch
| ||
0.0.3
patch
| ||
0.0.2
patch
| ||
0.0.1
initial
|