Search results

3.14 課題2

Status: Open.

#68 In ktgw0316/milewski-ctfp-markdown;

· ktgw0316 opened on Dec 7, 2025

3.14 問題3

Status: Open.

#67 In ktgw0316/milewski-ctfp-markdown;

· ktgw0316 opened on Dec 7, 2025

ch4.2 ++はmappendとする方が好ましい

Status: Open.

#60 In ktgw0316/milewski-ctfp-markdown;

· ktgw0316 opened on Sep 13, 2025

\to より \mapsto が適切な箇所

Status: Open.

#38 In ktgw0316/milewski-ctfp-markdown;

· ktgw0316 opened on Mar 9, 2025

propositional equalityの訳語

Status: Open.

#35 In ktgw0316/milewski-ctfp-markdown;

· ktgw0316 opened on Dec 10, 2024

Request for permission to publish Japanese version

Status: Open.

#34 In ktgw0316/milewski-ctfp-markdown;

· ktgw0316 opened on Nov 26, 2024

論理学の語彙について訳註を追加する

Status: Open.

#29 In ktgw0316/milewski-ctfp-markdown;

· ktgw0316 opened on Nov 6, 2024