https://arxiv.org/abs/2309.16224
[2309.16224] Automatic Proof Checking and Proof Construction by Tactics
Abstract page for arXiv paper 2309.16224: Automatic Proof Checking and Proof Construction by Tactics
automaticproofcheckingconstructiontactics
https://nvd.nist.gov/vuln/detail/CVE-2020-16224
NVD - CVE-2020-16224
nvdcve