Skip to content
@Coq-zh

Coq-zh

Popular repositories Loading

  1. SF-zh SF-zh Public

    《软件基础》中译版 Software Foundations Chinese Translation

    HTML 936 68

  2. frap frap Public

    Forked from achlipala/frap

    Formal Reasoning About Programs

    Coq

Repositories

Showing 2 of 2 repositories
  • frap Public Forked from achlipala/frap

    Formal Reasoning About Programs

    Coq 0 89 0 0 Updated Jun 6, 2024
  • SF-zh Public

    《软件基础》中译版 Software Foundations Chinese Translation

    HTML 936 68 5 (2 issues need help) 0 Updated Mar 14, 2022

Top languages

Loading…

Most used topics

Loading…