Topic · higher-order-logic

higher-order-logic

Tracked open-source repos tagged higher-order-logic, sorted by stars.

Repos

1

Total stars

756

Avg. stars

756

Share

0.00%

Topics that frequently appear alongside higher-order-logic on the same repo.

Recent risers

Repos created in the last 90 days, tagged higher-order-logic.

No new repos tagged with this topic in the last 90 days.

#1
HOL ↗@HOL-Theorem-ProverStandard ML
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
★ 756+2Star change over the last 7 days

← Back to topics