ayane
Theorem prover
Last updated 3 years ago by russellw .
MIT · Repository · Bugs · Original npm · Tarball · package.json
$ cnpm install ayane -g
SYNC missed versions from official npm registry.

ayane

Theorem prover

Current Tags

  • 3.0.2                                ...           latest (3 years ago)

3 Versions

  • 3.0.2                                ...           3 years ago
  • 3.0.1                                ...           3 years ago
  • 1.0.0                                ...           5 years ago
Maintainers (1)
Downloads
Today 0
This Week 0
This Month 0
Last Day 0
Last Week 1
Last Month 1
Dependencies (7)
Dev Dependencies (0)
None
Dependents (0)
None

Copyright 2014 - 2016 © taobao.org |