spadidar/testapp
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
spadidar / theorem_prover
automated theorem prover (final year project in for BS in Software Engineering)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7856799GitHub System ID
spadidarOrganization / User
PublicVisibility
ActiveCatalog Status
More from spadidar
spadidar/editors
editor configs & files
spadidar/demo
Public repository.
spadidar/pong_game
Pong game written back in college. Needs a lot of polishing to be useful.