1. 标签
  2. ltac
  3. 标签动态
ltac

该标签暂无描述

Ltac: repeating a tactic n times with backtracking

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

Ltac : optional arguments tactic

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

Coq: Ltac definitions over variable argument lists

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

相关标签