{"connections":[],"education":[],"name":"Mokhtar Bacha","roles":[{"end":null,"org":{"key":"joinformal.com","kind":"company","name":"Formal"},"publisher":"Y Combinator","retrievedAt":"2026-10-03","role":"founder","roleAsStated":"Founder","start":null,"status":"sourced","url":"https://www.ycombinator.com/companies/formal"}],"slug":"mokhtar-bacha","sources":[{"fact":"role","publisher":"Y Combinator","retrievedAt":"2026-10-03","status":"sourced","url":"https://www.ycombinator.com/companies/formal"}],"updatedAt":"2026-10-03"}