Skip to content
@Coq-zh

Coq-zh

Popular repositories Loading

  1. SF-zh SF-zh Public

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

    HTML 937 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-zh/frap’s past year of commit activity
    Coq 0 90 0 0 Updated Jun 6, 2024
  • SF-zh Public

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

    Coq-zh/SF-zh’s past year of commit activity
    HTML 937 68 5 (2 issues need help) 0 Updated Mar 14, 2022

Top languages

Loading…

Most used topics

Loading…