Tag: Note

All the articles with the tag "Note".

• Nashell C Compiler Development Note - One

  22 Jul, 2026

  A development blog of NCC project.

• The Cassowary linear arithmetic constraint solving algorithm

  11 Mar, 2026

  简要介绍了 Cassowary 算法的重要概念。

• Lean 4 Introduction-1

  6 Mar, 2026

  简要介绍一下 Lean 4。

• Coq/Rocq Introduction - 2 - Prerequisite knowledge

  5 Mar, 2026

  The prerequisite knowledge before learning Coq/Rocq.

• Coq/Rocq Introduction - 1 - Installing

  4 Mar, 2026

  Brief introduction to the world of Coq/Rocq Prover.