GitHub repository: python-verry/verry
Primary language: Python
Description: Verry is an open-source package for verified computation written in Python.