All Categories → No Category → atp

Top 2 atp open source projects

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

✭ 29

scala OpenEdge ABL ANTLR python shell perl logic theorem-proving atp higher-order-logic reasoning deduction-system

A python package for scraping oddsportal.com

✭ 99

python nba analytics nfl sports betting baseball tennis rugby champions-league datasets esports atp sports-data betting-odds atp-matches tennis-dataset webscraping-data oddsportal odds-portal

1-2 of 2 atp projects