「SF-LC」16 Auto
auto - proof search Ltac - automated forward reasoning (hypothesis matching machinery) eauto, eappl ...
我的 2018 盘点
又到了回顾以明得失，展望以知进退的时候。 首先想感慨一下我的拖延癌应该已经是确定到了晚期了，2018 年伊始的时候也不是没想过做一下 2017 年盘点，春节后第一次出国游走，回来之后也想着要写一个游记 ...
「SF-PLF」1 Equiv
issues on coqc module linkingSome module (e.g.Map) not foundeither maunally make map.vo or proof gen ...
「SF-PLF」5 Smallstep
Recall Big-step Pros & ConsBig-step 一步到位 : eval to its final value (plus final store) Pros - ...
无题
《Java编程方法论 响应式之Rxjava篇》序在《2019 一月的InfoQ 架构和设计趋势报告》1中，响应式编程（Reactive Programming）和函数式（Functional Prog ...
津公网安备 12011002021027号