Launches for “alternative to algebruh - cross-check arithmetic claims with z3, cvc5, and lean”

Try: invoice tool for freelancers that chases payments · discord invite repar · turn meeting notes into tasks · turn my Postgres schema into a REST API · playstation vita emulator · record a demo video without editing