Fuck. Shit! Sorry...
Login with: GitHub
Home / Top 100-200 / Bottom / Rudest / Most Apologetic / Random >0 / New / Add
Z3Prover/z3 + (1) - 
    completely bypass theory_seq; sorry! I'll put it back when I'm done
Home / Top 100-200 / Bottom / Rudest / Most Apologetic / Random >0 / New / Add
Repositories inspected by weevils.io
Hosted on Hetzner
Made with hubris by Carl Crowder as part of my Thing a Month
questions@fuckshitsorry.dev