6 citations · 13 across the 9 of their papers we have counts for
1 paper · 1 filter
Mario Carneiro
This paper describes a new open-source proof processing tool, mizar-rs, a wholesale reimplementation of core parts of the Mizar proof system, written in Rust. In particular, the "c…