GitHub repository: urkud/divthm-paper
Primary language: TeX
Created: 2022-02-06T17:03:56Z
Description: Paper about formalization of the divergence theorem