Skip to content

@Coq-zh Coq-zh

Change the repository type filter

All

    Repositories list

    2 repositories

    • frap

      Public
      Formal Reasoning About Programs
      Coq
      •
      Other
      •90•0•0•0•Updated Jun 6, 2024Jun 6, 2024

    • SF-zh

      Public
      《软件基础》中译版 Software Foundations Chinese Translation
      coqtranslationchinese-translation
      HTML
      •69•943•5•0•Updated Mar 14, 2022Mar 14, 2022