ltac - 码农岛

该标签暂无描述

Modus Ponens and Modus Tollens in Coq

不美不萌又怎样·2020-10-01 09:12· 回答·问答

Ltac: repeating a tactic n times with backtracking

迷人小祖宗·2019-07-26 01:55· 评论·文章

Ltac: repeating a tactic n times with backtracking

唯我独甜·2019-07-26 01:41· 回答·问答

Ltac : optional arguments tactic

戒情不戒烟·2019-05-15 12:28· 评论·文章

Ltac : optional arguments tactic

小情绪 Triste *·2019-05-15 12:37·1 回答·问答

Coq: Ltac definitions over variable argument lists

一夜七次·2019-02-22 13:48· 评论·文章

Coq: Ltac definitions over variable argument lists

唯我独甜·2019-02-22 13:09·1 回答·问答