Added ProofState utility functions and tidied up commands and documentation
Added ProofState utility functions and tidied up commands and documentation
kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram