Samir Jindel 79386c100e [kernel] type_equiv proof for property_get case. ...

Bug:
Change-Id: Ibbaabc8ca7652eef1077fc743a9d0927a1c7911a
Reviewed-on: https://dart-review.googlesource.com/5461
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>

2017-09-14 12:56:40 +00:00

..

Common.v

[kernel] Simplified Coq AST and first draft of it's type system.

2017-09-12 16:23:16 +00:00

ObjectModel.v

[kernel] type_equiv proof for property_get case.

2017-09-14 12:56:40 +00:00

Syntax.v

[kernel] Proofs about type equality, beginnings of the type checking homomorphism proof.

2017-09-13 12:00:19 +00:00

SyntaxRaw.v

[kernel] Proofs about type equality, beginnings of the type checking homomorphism proof.

2017-09-13 12:00:19 +00:00