Versions in this module
v0
Sep 28, 2023
Changes in this version
Nov 16, 2022
Changes in this version
type ProofSpec
Feb 16, 2022
retracted
Apr 19, 2021
retracted
Aug 17, 2020retracted
Changes in this version