Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jesse-michael-han / lean-step-public
Proof artifact co-training for Lean
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jesse-michael-han%2Flean-step-public
Stars: 36
Forks: 10
Open Issues: 6
License: apache-2.0
Language: Lean
Repo Size: 35.2 KB
Dependencies:
80
Created: over 3 years ago
Updated: 3 months ago
Last pushed: over 1 year ago
Last synced: about 2 months ago
Files
Loading...
Readme
Loading...
Dependencies
- CNFgen ==0.8.7
- Keras-Preprocessing ==1.1.2
- Markdown ==3.2.2
- Pillow ==7.2.0
- PyYAML ==5.3.1
- Werkzeug ==1.0.1
- absl-py ==0.10.0
- aiohttp ==3.6.2
- astunparse ==1.6.3
- async-timeout ==3.0.1
- attrs ==20.2.0
- beautifulsoup4 ==4.9.1
- cachetools ==4.1.1
- certifi ==2020.6.20
- chardet ==3.0.4
- click ==7.1.2
- cloudpickle ==1.6.0
- colorama ==0.4.3
- cycler ==0.10.0
- decorator ==4.4.2
- filelock ==3.0.12
- funcsigs ==1.0.2
- future ==0.18.2
- gast ==0.3.3
- google ==3.0.0
- google-auth ==1.21.1
- google-auth-oauthlib ==0.4.1
- google-pasta ==0.2.0
- grpcio ==1.31.0
- h5py ==2.10.0
- idna ==2.10
- importlib-metadata ==1.7.0
- iniconfig ==1.0.1
- jsonschema ==3.2.0
- kiwisolver ==1.2.0
- matplotlib ==3.3.1
- more-itertools ==8.5.0
- multidict ==4.7.6
- networkx ==2.5
- numpy ==1.18.5
- oauthlib ==3.1.0
- opt-einsum ==3.3.0
- packaging ==20.4
- pandas ==1.1.2
- pluggy ==0.13.1
- protobuf ==3.13.0
- psutil ==5.7.2
- py ==1.9.0
- py-spy ==0.3.3
- pyasn1 ==0.4.8
- pyasn1-modules ==0.2.8
- pydot ==1.4.1
- pyparsing ==2.4.7
- pypeg2 *
- pyrsistent ==0.17.0
- pytest ==6.0.1
- python-dateutil ==2.8.1
- python-sat ==0.1.6.dev6
- pytz ==2020.1
- redis ==3.5.3
- requests ==2.24.0
- requests-oauthlib ==1.3.0
- rsa ==4.6
- scipy ==1.4.1
- six ==1.15.0
- soupsieve ==2.0.1
- tabulate ==0.8.7
- tensorboard ==2.3.0
- tensorboard-plugin-wit ==1.7.0
- tensorflow ==2.3.0
- tensorflow-estimator ==2.3.0
- termcolor ==1.1.0
- toml ==0.10.1
- torch *
- tqdm ==4.50.0
- typing-extensions ==3.7.4.3
- urllib3 ==1.25.10
- wrapt ==1.12.1
- yarl ==1.5.1
- zipp ==3.1.0