Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / etorreborre / scala-atp
Public GitHub Catalog Discovered Sep 26, 2026

etorreborre / scala-atp

Scala port of John Harrison's Handbook of Practical Logic and Automated Reasoning

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.

#6745622GitHub System ID
etorreborreOrganization / User
PublicVisibility
ActiveCatalog Status

More from etorreborre

↗

etorreborre/play-slick-specs2

Attempt to get a simple CRUD application to run on a prod database and have test ran on another database.

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

SPONSORED Sponsored Partner