GitHub repository: BergLucas/ProgProving
Primary language: TeX
Created: 2021-09-12T18:38:11Z
Description: ProgProving is a LaTeX package that aims to help people prove their codes.