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