model-checking/kani

A model checker for Rust programs.

拖动卡牌调整角度，点击翻面查看卡背。