GitStar
GitHub TrendingTopicsLanguagesRepositoriesUsersOrganizations
/

Deductive Reasoning Trending Repositories

Explore GitHub Trending repositories tagged “deductive-reasoning”.

Every repository shown here comes from the PostgreSQL Trending catalog.

RepositoriesGitHub topic
Ranked by:Stars

Trending Repositories

AeneasVerif/aeneas

A verification toolchain for Rust programs

OCaml91799Built by@sonmarcho@Nadrieril@R1kM@ayhon@msprotz
GitStar

See what the GitStar community is most excited about today.

Trending

GitHub Trending TodayGitHub Trending WeeklyGitHub Trending Monthly

Languages

Browse all languagesTrending PythonTrending JavaScript

Explore

Browse repositoriesBrowse usersBrowse organizationsBrowse GitHub topics
© 2026 GitStarGitHub Trending source