Skip to content
Snippets Groups Projects
Commit c1c3f112 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Delete 2018-01-15-galois.md

parent fa900ea4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2018-01-15-galois.md deleted 100644 → 0
+ 0
− 5
View file @ fa900ea4
---
title: Tech talk at Galois, Portland, JaVerT: a JavaScript Verification Toolchain
---
Philippa Gardner gave a talk at [Galois,](https://galois.com/research-development/)
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment