alkahest
MITA universal solvent: the Otter theorem-prover loop in TypeScript, with pluggable domains
100
Security score
0 known advisories in v0.1.0
Weekly downloads
—
Unpacked size
24.4 kB
Dependencies
0
Last publish
5 months ago
Security advisories
No known vulnerabilities affect v0.1.0.