Folklore-and-miscellaneous-results-in-number-theory

Formal verification of folklore and miscellaneous results in number theory (by josephcmac)
Add to my DEV experience Suggest topics
Source Code
Suggest alternative
Edit details
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
Sponsored
Suggest an alternative to Folklore-and-miscellaneous-results-in-number-theory

Folklore-and-miscellaneous-results-in-number-theory reviews and mentions

Posts with mentions or reviews of Folklore-and-miscellaneous-results-in-number-theory. We have used some of these posts to build our list of alternatives and similar projects.

Stats

Basic Folklore-and-miscellaneous-results-in-number-theory repo stats
1
1
10.0
about 4 years ago

josephcmac/Folklore-and-miscellaneous-results-in-number-theory is an open source project licensed under BSD 2-clause "Simplified" License which is an OSI approved license.

The primary programming language of Folklore-and-miscellaneous-results-in-number-theory is Isabelle.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com