4 Commits

Author	SHA1	Message	Date
Alya Abbott	e7e422ff13	portico: Make minor fixes in Lean case study.	2022-01-19 12:36:17 -08:00
Alya Abbott	74b4640727	portico: Add Rust case study.	2021-11-24 15:17:33 -08:00
Alya Abbott	847bf8207f	portico: Link back to /for/X pages from Lean case study.	2021-11-11 06:24:58 -08:00
Alya Abbott	e106caa68f	portico: Add Lean case study.	2021-11-07 09:53:28 -08:00