TurnFormal: Theorem Prover Written in Rusthttps://github.com/Turnersoft/turn-formal by adamnemecek • 1 year ago 1 0 1 year agoGIgithub.com