Deploy website - based on cb4f263

formal-land · Mar 26, 2024 · 347fa8a · 347fa8a
1 parent 2b09caf
commit 347fa8a
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/general-presentation/index.html b/general-presentation/index.html
@@ -23,7 +23,7 @@
 						# 🌲 Formal Land
 						<img src="https://formal.land/img/icons/land.png" alt="logo" width="200" />
 
-						> Formal verification for everyday-life programs ✨
+						> Formal verification for everyday-life applications ✨
 
 						<small>[https://formal.land/](https://formal.land/)</small>
 					</script>
@@ -76,12 +76,12 @@
 				<section data-markdown>
 					<script type="text/template">
 						## 🗣️ Supported languages
-						* OCaml ✅
+						* Rust ✅ [coq-of-rust](https://github.com/formal-land/coq-of-rust)
+						* OCaml ✅ [coq-of-ocaml](https://github.com/formal-land/coq-of-ocaml)
+						* Go 🌊
+						* Haskell 🌊
 						* Solidity/EVM 🌊
 						* TypeScript 🌊
-						* Rust 🌊
-						* Haskell ❌
-						* Go ❌
 
 						✅ done - 🌊 ongoing - ❌ todo
 					</script>