Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Coqatoo

Generates natural language versions of Coq proofs
Stars
37
License
mit
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
Java
Categories
Repo
Suggest An Alternative To coqatoo
Popular Coq Projects
Popular Natural Language Generation Projects
Flaml ⭐ 3,500
A fast library for AutoML and tuning. Join our Discord: https://discord.gg/Cppx2vSPVP.
dependent packages 11total releases 92latest release October 02, 2023most recent commit 3 months agopypi FLAML} Downloads
Gluon Nlp ⭐ 2,457
NLP made easy
dependent packages 11total releases 26latest release August 13, 2020most recent commit a year agopypi gluonnlp} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Java Coq
Java Natural Language Generation

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Coq
Natural Language Generation
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.