Inductive invariant synthesis via learning

Enter Unicode characters using LaTeX notation

Dafny proofs for some Spark Pregel algorithms

Loop invariant synthesis for annotated probabilistic loops

A syntax highlighter that supports simple variable tracking

A collection of useful/interesting scripts

An extension that provides code outline for source codes in GitHub

Automatically exported from code.google.com/p/zero-log.maven