VincenzoArceri/AutomatedReasoningProject
Implementation of a simply theorem prover for equality theories using the given clause algorithm (E-version)
Public GitHub Catalog
Discovered Sep 30, 2026
VincenzoArceri / Car-Parking-System
Primo elaborato di Ingegneria del Software - Dipartimento d'informatica - Anno accademico 2013/2014
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.
#19547140GitHub System ID
VincenzoArceriOrganization / User
PublicVisibility
ActiveCatalog Status
More from VincenzoArceri
VincenzoArceri/AutomotiveSystem
Secondo assegnamento Ingegneria del Software - Anno accademico 2013/2014 - Dipartimento di Informatica - Verona
VincenzoArceri/TheGameOfLife
Implementazione in Java dell'automa cellulare "Game of Life", sviluppato nel 1970 da John Conway.