Yakoub Nemouchi nemouchi
  • Joined on Mar 30, 2018
Repositories Public Activity Starred Repositories Following Followers
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
Orca2017
Isabelle 0 0

Orca: A Functional Correctness Verifier for Imperative Programs Based on Isabelle/UTP.

Updated 3 years ago