Deploy website - based on 088803a

formal-land · Apr 10, 2024 · dd87e78 · dd87e78
1 parent a530620
commit dd87e78
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/rust-workshop-etaps-2024/index.html b/rust-workshop-etaps-2024/index.html
@@ -25,7 +25,7 @@
 
 						> Formal Land
 
-						<small>[https://github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)</small>
+						<small>[github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)</small>
 					</script>
 				</section>
 				<section data-markdown>
@@ -44,7 +44,7 @@
 						## coq-of-rust
 
 						* Translation from Rust to the proof system Coq
-						* Open source [https://github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)
+						* Open source [github.com/formal-land/coq-of-rust](https://github.com/formal-land/coq-of-rust)
 					</script>
 				</section>
 				<section data-markdown>