Request all concerned to check and confirm, information put on, https://github.com/efabless/openlane page, regarding Formal Verification capability of openLane. For clarity purposes, I have attached screnshot with a arrow pointer. @mkk@Mohamed Hosni Abdalmonem@Marwan Abbas@Philipp Gühring
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.
