sfja/sfja — Issue #12: (タクティックの) variant の訳語
Author: ummr
Created: 2011-10-26 13:01:39+00:00
State: open

Coq の Reference Manual にも出てくるタクティックの variant ですが、定訳があったら教えてください。とりあえず、「別形」と訳しましたが...