โInspired the ๐ฅ README ๐ค ๐ค file ๐ฅ ๐ of ๐ the ๐ ๐ Coqpilot ๐ projectโ ๐ ๐ -> ๐ค โInspired by ๐ค the README ๐ค file of the Coqpilot projectโ ๐ข