Block or Report
Block or report Kukovec
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
Theorem-proving-with-an-abstract-datatype-of-real-numbers
Theorem-proving-with-an-abstract-datatype-of-real-numbers PublicAgda
-
apalache
apalache PublicForked from informalsystems/apalache
APALACHE: symbolic model checker for TLA+
Scala
-
ibc
ibc PublicForked from cosmos/ibc
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
TeX
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.