Suggestion on `count_admitted.py` format generation#707

clarus merged 1 commit intomainformal-land/coq-of-rust:mainfrom

gy@suggectionPyCountformal-land/coq-of-rust:gy@suggectionPyCountCopy head branch name to clipboard