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

Update InferLab.md

parent 30cc20dd
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 @ 3d47f19f
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
title: Infer Lab title: Infer Lab
project_id: sl project_id: sl
menu: true menu: true
parent_menu: Teaching parent_menu:
menu_order: 5 menu_order: 5
--- ---
A team from Facebook came run a lab on [Infer](http://fbinfer.com/), an industrial verification tool developed at Facebook by a team led by [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/) A team from Facebook came run a lab on [Infer](http://fbinfer.com/), an industrial verification tool developed at Facebook by a team led by [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/)
......
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