Navigation Menu

Skip to content
View lisa-dou's full-sized avatar
2 followers · 0 following
  • East China Normal University
  • Shanghai, China
Block or Report

Block or report lisa-dou

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. software-foundation-2012 software-foundation-2012 Public

    My exercises in a "Software Foundations" course. Refer to http://www.cis.upenn.edu/~bcpierce/sf/ . The course is about the foundations of programming languages, using Coq.

    Coq 1

  2. pattern-spec pattern-spec Public

    Java

  3. Mechanized-SD Mechanized-SD Public

    Towards Mechanized Semantics of UML SD and refinement relation

    Coq

  4. VerifySD VerifySD Public

    Verification of UML Sequence Diagrams in Coq

    Coq

  5. UML2Coq UML2Coq Public

    metamodeling level transform tools from UML specification to Coq specification

    Coq