Search results

[勘误] lf-current/Imp

Status: Open.

#38 In Rocq-zh/SF-zh;

· pudh4418 opened on Oct 10, 2025

[勘误] plf-current/Equiv

Status: Open.

#37 In Rocq-zh/SF-zh;

· Rivdo7 opened on Aug 22, 2025

[勘误] lf-current/IndProp

Status: Open.

#36 In Rocq-zh/SF-zh;

· Rivdo7 opened on Aug 15, 2025

[勘误] lf-current/Auto

Status: Open.

#35 In Rocq-zh/SF-zh;

· Rivdo7 opened on Aug 13, 2025

[勘误] SF-zh-master/lf-current/Tactics.html

Status: Open.

#34 In Rocq-zh/SF-zh;

· Rivdo7 opened on Jul 24, 2025

翻译

bugSomething isn't workingSomething isn't working

good first issueGood for newcomersGood for newcomers

Status: Open.

#33 In Rocq-zh/SF-zh;

· shapled opened on Jul 11, 2022

请教 PREFACE 部分几处翻译

good first issueGood for newcomersGood for newcomers

Status: Open.

#32 In Rocq-zh/SF-zh;

· WenboYang opened on Dec 21, 2021

[勘误] Logical Foundations - INDPRINCIPLES

Status: Open.

#27 In Rocq-zh/SF-zh;

· Shuumatsu opened on Sep 6, 2020

Basics: Coq 函数式编程 勘误讨论

Status: Open.

#24 In Rocq-zh/SF-zh;

· PhotonQuantum opened on Aug 24, 2020

逻辑基础：部分原文未作翻译？

enhancementNew feature or requestNew feature or request

Status: Open.

#17 In Rocq-zh/SF-zh;

· Hagb opened on Jun 29, 2020