I do formal verification with interactive theorem provers
-
National University of Singapore
- Singapore
Highlights
- Pro
-
-
-
loogle Public
Forked from nomeata/loogleMathlib search tool
Lean Apache License 2.0 UpdatedFeb 23, 2024 -
-
-
-
finmap Public
Forked from math-comp/finmapFinite sets, finite maps, multisets and generic sets
Coq UpdatedNov 17, 2021 -
trust-coq Public
Formalization of the Truly Stateless Concurrency Model Checker in Coq
-
csclub-coq-course-spring-2021 Public
Forked from anton-trunov/csclub-coq-course-spring-2021A course on formal verification at https://compsciclub.ru/en, Spring term 2021
HTML UpdatedMay 24, 2021 -
-
-
okasaki Public
Coq library to deal with purely functional data structures
-
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
JavaScript GNU Lesser General Public License v2.1 UpdatedFeb 27, 2020