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

Update InferLab.md

parent d1e19c44
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
teaching/InferLab.md
+ 1
− 1
View file @ d8b02cc1
--- ---
title: Separation Logic: Infer Lab 2016 title: Separation Logic Infer Lab 2016
project_id: infer project_id: infer
menu: true menu: true
parent_menu: Teaching parent_menu: Teaching
......
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