Skip to content

@USTC-Solvay USTC-Solvay

Change the repository type filter

All

    Repositories list

    2 repositories

    • coq-intro

      Public
      Slides: The Coq Proof Assistant
      HTML
      •
      GNU Lesser General Public License v2.1
      •0•4•0•0•Updated Mar 24, 2024Mar 24, 2024

    • USTC-Solvay.github.io

      Public
      HTML
      •0•0•0•0•Updated Sep 7, 2023Sep 7, 2023