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