Signed in
We value your privacy
This site uses cookies to improve your browsing experience, analyze site traffic, and show personalized content.
Leaders of large-scale formalization projects are increasingly accepting Aristotle's code contributions with no modifications.
| $20.10% | |
| $10.07% | |
| $0.270.01% | |
| $0.140.01% | |
| $0.110.01% | |
| $0.110.01% | |
| $0.080.00% | |
| $0.070.00% | |
| $0.070.00% | |
| $0.040.00% | |
| $0.020.00% | |
| $0.010.00% |