All @cooljapan/oxilean versions
@cooljapan/oxilean @0.1.0
Apache-2.0
License
No
Install Scripts
0
Dependencies
0
Dev Dependencies
21.9 KB
Package Size
Published
WebAssembly bindings for OxiLean
Maintainers
kitasan
Keywords
leanlean4proof-assistanttype-theorywasmwebassemblytheorem-prover
Commit: e6e04455b283 Browse source
Published to npm: