On Tue, Sep 20, 2016 at 9:24 AM, Kiwamu Okabe <kiw...@debian.or.jp> wrote:
> https://github.com/NICTA/cogent

However, the cogent is too heavy...

> To build the proofs, it is recommended that your machine (or virtual machine) 
> provides 32G of memory and 4–8 CPU threads.
> Build compilation correctness proof for ext2. (ETA: 120 CPU hours)

I would like to get a light-weight process like ATS, to get more safe
and convenience.

You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to ats-lang-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 

Reply via email to