diff --git a/tools/mc/blast.md b/tools/mc/blast.md
index 3ae9beb..0f3590c 100644
--- a/tools/mc/blast.md
+++ b/tools/mc/blast.md
@@ -5,7 +5,7 @@ title = 'BLAST'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://forge.ispras.ru/projects/blast", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/cadp.md b/tools/mc/cadp.md
index afb659e..e40ce75 100644
--- a/tools/mc/cadp.md
+++ b/tools/mc/cadp.md
@@ -5,7 +5,7 @@ title = 'CADP'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://cadp.inria.fr/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/cgaal.md b/tools/mc/cgaal.md
index 815fe25..d7e5d5e 100644
--- a/tools/mc/cgaal.md
+++ b/tools/mc/cgaal.md
@@ -5,7 +5,7 @@ title = 'CGAAL'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/d702e20/CGAAL", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/d702e20/CGAAL", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/concuerror.md b/tools/mc/concuerror.md
index f66b760..699359e 100644
--- a/tools/mc/concuerror.md
+++ b/tools/mc/concuerror.md
@@ -5,7 +5,7 @@ title = 'Concuerror'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "http://parapluu.github.io/Concuerror", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/parapluu/Concuerror", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/parapluu/Concuerror", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/cpachecker.md b/tools/mc/cpachecker.md
index 7478ed7..15417ed 100644
--- a/tools/mc/cpachecker.md
+++ b/tools/mc/cpachecker.md
@@ -5,7 +5,7 @@ title = 'CPAchecker'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://cpachecker.sosy-lab.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://gitlab.com/sosy-lab/software/cpachecker/", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://gitlab.com/sosy-lab/software/cpachecker/", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/dscheck.md b/tools/mc/dscheck.md
index 26df5c4..b18629c 100644
--- a/tools/mc/dscheck.md
+++ b/tools/mc/dscheck.md
@@ -5,7 +5,7 @@ title = 'DSCheck'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/ocaml-multicore/dscheck", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/ocaml-multicore/dscheck", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/eldarica.md b/tools/mc/eldarica.md
index dba1a13..ac8d28f 100644
--- a/tools/mc/eldarica.md
+++ b/tools/mc/eldarica.md
@@ -5,7 +5,7 @@ title = 'Eldarica'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/uuverifiers/eldarica", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/uuverifiers/eldarica", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/esbmc.md b/tools/mc/esbmc.md
index 087c409..5fad7ad 100644
--- a/tools/mc/esbmc.md
+++ b/tools/mc/esbmc.md
@@ -5,7 +5,7 @@ title = 'ESBMC'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://ssvlab.github.io/esbmc/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/esbmc/esbmc", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/esbmc/esbmc", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/geyser.md b/tools/mc/geyser.md
index 2b5c8e5..860f64f 100644
--- a/tools/mc/geyser.md
+++ b/tools/mc/geyser.md
@@ -5,7 +5,7 @@ title = 'Geyser'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/JakubSarnik/geyser", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/JakubSarnik/geyser", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/imitator.md b/tools/mc/imitator.md
index 2761e71..01b489a 100644
--- a/tools/mc/imitator.md
+++ b/tools/mc/imitator.md
@@ -5,7 +5,7 @@ title = 'IMITATOR'
 subtitle = 'Parameter Synthesis'
 links = [
     { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Parameter Synthesizer']
diff --git a/tools/mc/imspin.md b/tools/mc/imspin.md
index f78b689..0c9c0b4 100644
--- a/tools/mc/imspin.md
+++ b/tools/mc/imspin.md
@@ -5,7 +5,7 @@ title = 'ImSpin'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/MrDiver/ImSpin", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/MrDiver/ImSpin", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/intrepyd.md b/tools/mc/intrepyd.md
index 9a5e40a..f9520e8 100644
--- a/tools/mc/intrepyd.md
+++ b/tools/mc/intrepyd.md
@@ -5,7 +5,7 @@ title = 'Intrepyd'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/formalmethods/intrepid", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/formalmethods/intrepid", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/ivy.md b/tools/mc/ivy.md
index 7f2445d..26a16ee 100644
--- a/tools/mc/ivy.md
+++ b/tools/mc/ivy.md
@@ -5,7 +5,7 @@ title = 'IVy'
 subtitle = 'Protocol Verifier'
 links = [
     { title = "Homepage", url = "https://kenmcmil.github.io/ivy/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/kenmcmil/ivy", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/kenmcmil/ivy", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Protocol Verifier']
diff --git a/tools/mc/kind2.md b/tools/mc/kind2.md
index d480625..3d6cd95 100644
--- a/tools/mc/kind2.md
+++ b/tools/mc/kind2.md
@@ -5,7 +5,7 @@ title = 'Kind 2'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://kind2-mc.github.io/kind2/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/kind2-mc/kind2", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/kind2-mc/kind2", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/ltsa.md b/tools/mc/ltsa.md
index 52bbac5..03368df 100644
--- a/tools/mc/ltsa.md
+++ b/tools/mc/ltsa.md
@@ -5,7 +5,7 @@ title = 'LTSA'
 subtitle = 'Labelled Transition System Analyser'
 links = [
     { title = "Homepage", url = "https://www.doc.ic.ac.uk/ltsa/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/ltsmin.md b/tools/mc/ltsmin.md
index 816a833..0db31f5 100644
--- a/tools/mc/ltsmin.md
+++ b/tools/mc/ltsmin.md
@@ -5,7 +5,7 @@ title = 'LTSmin'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/utwente-fmt/ltsmin", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/utwente-fmt/ltsmin", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/mcltlrs.md b/tools/mc/mcltlrs.md
index 2ab73e1..36d18a6 100644
--- a/tools/mc/mcltlrs.md
+++ b/tools/mc/mcltlrs.md
@@ -5,7 +5,7 @@ title = 'mcltl-rs'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://nuxmv.fbk.eu/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/NotBad4U/mcltl-rs", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/NotBad4U/mcltl-rs", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/mcrl2.md b/tools/mc/mcrl2.md
index a5e2028..a7d2f73 100644
--- a/tools/mc/mcrl2.md
+++ b/tools/mc/mcrl2.md
@@ -5,7 +5,7 @@ title = 'mCRL2'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/mCRL2org/mCRL2", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/mCRL2org/mCRL2", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/mercury.md b/tools/mc/mercury.md
index 9428eb0..47c9e13 100644
--- a/tools/mc/mercury.md
+++ b/tools/mc/mercury.md
@@ -5,7 +5,7 @@ title = 'Mercury'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://mcrl2.org", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/rtsaad/mercury", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/rtsaad/mercury", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/munta.md b/tools/mc/munta.md
index fe6cc9c..9bfa207 100644
--- a/tools/mc/munta.md
+++ b/tools/mc/munta.md
@@ -5,7 +5,7 @@ title = 'MUNTA'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/wimmers/munta", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/wimmers/munta", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/nusmv.md b/tools/mc/nusmv.md
index 84a336f..3452c1a 100644
--- a/tools/mc/nusmv.md
+++ b/tools/mc/nusmv.md
@@ -5,7 +5,7 @@ title = 'NuSMV'
 subtitle = 'Symbolic Model Checker'
 links = [
     { title = "Homepage", url = "https://nusmv.fbk.eu/index.html", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/nuxmv.md b/tools/mc/nuxmv.md
index e0f663e..6c41a59 100644
--- a/tools/mc/nuxmv.md
+++ b/tools/mc/nuxmv.md
@@ -5,7 +5,7 @@ title = 'NuXMV'
 subtitle = 'Symbolic Model Checker'
 links = [
     { title = "Homepage", url = "https://nuxmv.fbk.eu/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/pnmc.md b/tools/mc/pnmc.md
index a020587..51fe779 100644
--- a/tools/mc/pnmc.md
+++ b/tools/mc/pnmc.md
@@ -5,7 +5,7 @@ title = 'Pnmc'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "http://ltsmin.utwente.nl/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/pypl.md b/tools/mc/pypl.md
index a392c52..f723828 100644
--- a/tools/mc/pypl.md
+++ b/tools/mc/pypl.md
@@ -5,7 +5,7 @@ title = 'pyPL'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/nclarius/pyPL", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/nclarius/pyPL", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker', 'Model Generator', 'Theorem Prover']
diff --git a/tools/mc/romeo.md b/tools/mc/romeo.md
index fd22dbe..787cb64 100644
--- a/tools/mc/romeo.md
+++ b/tools/mc/romeo.md
@@ -5,7 +5,7 @@ title = 'Roméo'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://romeo.ls2n.fr/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/ahamez/pnmc", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/rumur.md b/tools/mc/rumur.md
index 675562a..eeebd42 100644
--- a/tools/mc/rumur.md
+++ b/tools/mc/rumur.md
@@ -5,7 +5,7 @@ title = 'Rumur'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/Smattr/rumur", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/Smattr/rumur", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/sally.md b/tools/mc/sally.md
index 5eba793..94fbc10 100644
--- a/tools/mc/sally.md
+++ b/tools/mc/sally.md
@@ -5,7 +5,7 @@ title = 'Sally'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "http://sri-csl.github.io/sally/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/SRI-CSL/sally", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/SRI-CSL/sally", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/smpt.md b/tools/mc/smpt.md
index a1ef830..b487094 100644
--- a/tools/mc/smpt.md
+++ b/tools/mc/smpt.md
@@ -5,7 +5,7 @@ title = 'SM(P/)T'
 subtitle = 'Satisfiability Modulo Petri Net'
 links = [
     # { title = "Homepage", url = "https://www.imitator.fr/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/nicolasAmat/SMPT", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/nicolasAmat/SMPT", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/spaceex.md b/tools/mc/spaceex.md
index 1075606..8ec05db 100644
--- a/tools/mc/spaceex.md
+++ b/tools/mc/spaceex.md
@@ -5,7 +5,7 @@ title = 'SpaceEx'
 subtitle = 'Hybrid Systems'
 links = [
     { title = "Homepage", url = "http://spaceex.imag.fr/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://forge.ispras.ru/projects/blast/repository", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Hybrid Systems']
diff --git a/tools/mc/spin.md b/tools/mc/spin.md
index 07fe3a8..842e02f 100644
--- a/tools/mc/spin.md
+++ b/tools/mc/spin.md
@@ -5,7 +5,7 @@ title = 'Spin'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://spinroot.com/spin/whatispin.html", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/nimble-code/Spin", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/nimble-code/Spin", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/stateright.md b/tools/mc/stateright.md
index 6c67f7b..6e1252d 100644
--- a/tools/mc/stateright.md
+++ b/tools/mc/stateright.md
@@ -5,7 +5,7 @@ title = 'stateright'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://docs.rs/stateright/latest/stateright/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/stateright/stateright", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/stateright/stateright", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/tapaal.md b/tools/mc/tapaal.md
index b499f22..5cb4f4b 100644
--- a/tools/mc/tapaal.md
+++ b/tools/mc/tapaal.md
@@ -5,7 +5,7 @@ title = 'TAPAAL'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://www.tapaal.net/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/timesolver.md b/tools/mc/timesolver.md
index a564532..d174b51 100644
--- a/tools/mc/timesolver.md
+++ b/tools/mc/timesolver.md
@@ -5,7 +5,7 @@ title = 'TimeSolver'
 subtitle = 'Model Checker'
 links = [
     # { title = "Homepage", url = "https://nuxmv.fbk.eu/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/jkeiren/TimeSolver", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/jkeiren/TimeSolver", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mc/uppaal.md b/tools/mc/uppaal.md
index 84700ca..1eeacb3 100644
--- a/tools/mc/uppaal.md
+++ b/tools/mc/uppaal.md
@@ -5,7 +5,7 @@ title = 'Uppaal'
 subtitle = 'Model Checker'
 links = [
     { title = "Homepage", url = "https://uppaal.org/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/imitator-model-checker/imitator", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker']
diff --git a/tools/mod/jani.md b/tools/mod/jani.md
index 37b1a44..1ebb016 100644
--- a/tools/mod/jani.md
+++ b/tools/mod/jani.md
@@ -5,7 +5,7 @@ title = 'JANI'
 subtitle = 'Quantitative Modeling Specification'
 links = [
     { title = "Homepage", url = "https://momba.dev/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Modeling Language']
diff --git a/tools/mod/momba.md b/tools/mod/momba.md
index 6cf8821..621747d 100644
--- a/tools/mod/momba.md
+++ b/tools/mod/momba.md
@@ -5,7 +5,7 @@ title = 'Momba'
 subtitle = 'Quantitative Modeling Framework'
 links = [
     { title = "Homepage", url = "https://momba.dev/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/koehlma/momba", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Modeling Framework']
diff --git a/tools/mod/tlaplus.md b/tools/mod/tlaplus.md
index 5efcf80..83cf3d1 100644
--- a/tools/mod/tlaplus.md
+++ b/tools/mod/tlaplus.md
@@ -5,7 +5,7 @@ title = 'TLA+'
 subtitle = 'Modeling Language'
 links = [
     { title = "Homepage", url = "https://lamport.azurewebsites.net/tla/tla.html", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/TAPAAL/", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Modeling Language']
diff --git a/tools/prob/caesar.md b/tools/prob/caesar.md
index bbc2df9..a0d66d3 100644
--- a/tools/prob/caesar.md
+++ b/tools/prob/caesar.md
@@ -5,7 +5,7 @@ title = 'Caesar'
 subtitle = 'Probabilistic Program Prover'
 links = [
     { title = "Homepage", url = "https://www.caesarverifier.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Probabilistic Program Prover']
diff --git a/tools/prob/comics.md b/tools/prob/comics.md
index 7d9011a..47d64c6 100644
--- a/tools/prob/comics.md
+++ b/tools/prob/comics.md
@@ -5,7 +5,7 @@ title = 'COMICS'
 subtitle = 'DTMC Counterexample Generator'
 links = [
     { title = "Homepage", url = "https://ths.rwth-aachen.de/research/tools/comics/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Counterexample Generator']
diff --git a/tools/prob/dftgui.md b/tools/prob/dftgui.md
index eba9d33..f14a8bb 100644
--- a/tools/prob/dftgui.md
+++ b/tools/prob/dftgui.md
@@ -5,7 +5,7 @@ title = 'DFT Visualization'
 subtitle = 'Visualization for Dynamic Fault Trees'
 links = [
     { title = "Homepage", url = "https://moves-rwth.github.io/dft-gui/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/moves-rwth/dft-gui", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/moves-rwth/dft-gui", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Visualizer']
diff --git a/tools/prob/prinsys.md b/tools/prob/prinsys.md
index ca4e5d2..62368c3 100644
--- a/tools/prob/prinsys.md
+++ b/tools/prob/prinsys.md
@@ -5,7 +5,7 @@ title = 'PRINSYS'
 subtitle = 'PRobabilistic INvariant SYnthesiS'
 links = [
     { title = "Homepage", url = "https://www-i2.informatik.rwth-aachen.de/prinsys/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/moves-rwth/caesar", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Probabilistic Invariant Synthesizer']
diff --git a/tools/prob/prism.md b/tools/prob/prism.md
index c27c001..7f4ffe2 100644
--- a/tools/prob/prism.md
+++ b/tools/prob/prism.md
@@ -5,7 +5,7 @@ title = 'PRISM'
 subtitle = 'Probabilistic Model Checker'
 links = [
     { title = "Homepage", url = "https://prismmodelchecker.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Probabilistic Model Checker']
diff --git a/tools/prob/prophesy.md b/tools/prob/prophesy.md
index 8516abc..37e513e 100644
--- a/tools/prob/prophesy.md
+++ b/tools/prob/prophesy.md
@@ -5,7 +5,7 @@ title = 'Prophesy'
 subtitle = 'Parameter Synthesis'
 links = [
     # { title = "Homepage", url = "https://www-i2.informatik.rwth-aachen.de/prinsys/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/moves-rwth/prophesy", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/moves-rwth/prophesy", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Parameter Synthesizer']
diff --git a/tools/prob/stamina.md b/tools/prob/stamina.md
index e8d68c6..ac7dffa 100644
--- a/tools/prob/stamina.md
+++ b/tools/prob/stamina.md
@@ -5,7 +5,7 @@ title = 'STAMINA'
 subtitle = 'Probabilistic Model Checker'
 links = [
     { title = "Homepage", url = "https://staminachecker.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://staminachecker.org/source.html", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://staminachecker.org/source.html", icon = 'fa-solid fa-code'  },
     { title = "Playground", url = "https://staminachecker.org/run.html", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Probabilistic Model Checker']
diff --git a/tools/prob/storm.md b/tools/prob/storm.md
index a8ba51a..6c5dfb4 100644
--- a/tools/prob/storm.md
+++ b/tools/prob/storm.md
@@ -5,7 +5,7 @@ title = 'Storm'
 subtitle = 'Probabilistic Model Checker'
 links = [
     { title = "Homepage", url = "https://www.stormchecker.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/moves-rwth/storm", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Probabilistic Model Checker']
diff --git a/tools/programs/aeneas.md b/tools/programs/aeneas.md
index 2bab57a..14c817b 100644
--- a/tools/programs/aeneas.md
+++ b/tools/programs/aeneas.md
@@ -5,7 +5,7 @@ title = 'Aeneas'
 subtitle = 'Rust Verifier'
 links = [
     { title = "Homepage", url = "https://aeneasverif.github.io/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/AeneasVerif/aeneas", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/AeneasVerif/aeneas", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Program Prover', 'Rust Verifier']
diff --git a/tools/programs/creusot.md b/tools/programs/creusot.md
index febc71b..cd00105 100644
--- a/tools/programs/creusot.md
+++ b/tools/programs/creusot.md
@@ -5,7 +5,7 @@ title = 'Creusot'
 subtitle = 'Rust Verifier'
 links = [
     # { title = "Homepage", url = "https://dafny.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/creusot-rs/creusot", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/creusot-rs/creusot", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Program Prover', 'Rust Verifier']
diff --git a/tools/programs/dafny.md b/tools/programs/dafny.md
index a954a77..218284c 100644
--- a/tools/programs/dafny.md
+++ b/tools/programs/dafny.md
@@ -5,7 +5,7 @@ title = 'Dafny'
 subtitle = 'Program Proofs'
 links = [
     { title = "Homepage", url = "https://dafny.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/dafny-lang/dafny", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/dafny-lang/dafny", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Program Prover']
diff --git a/tools/programs/kani.md b/tools/programs/kani.md
index d02b6eb..8ed0648 100644
--- a/tools/programs/kani.md
+++ b/tools/programs/kani.md
@@ -5,7 +5,7 @@ title = 'Kani'
 subtitle = 'Rust Verifier'
 links = [
     { title = "Homepage", url = "https://model-checking.github.io/kani/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/model-checking/kani", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/model-checking/kani", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Model Checker', 'Rust Verifier']
diff --git a/tools/programs/loom.md b/tools/programs/loom.md
index 97d6e33..254bd22 100644
--- a/tools/programs/loom.md
+++ b/tools/programs/loom.md
@@ -5,7 +5,7 @@ title = 'Loom'
 subtitle = 'Rust Verifier'
 links = [
     # { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/tokio-rs/loom", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/tokio-rs/loom", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Rust Verifier']
diff --git a/tools/programs/miri.md b/tools/programs/miri.md
index 4e70208..52923c0 100644
--- a/tools/programs/miri.md
+++ b/tools/programs/miri.md
@@ -5,7 +5,7 @@ title = 'Miri'
 subtitle = 'Rust Verifier'
 links = [
     # { title = "Homepage", url = "https://model-checking.github.io/kani/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/rust-lang/miri", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/rust-lang/miri", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Rust Verifier']
diff --git a/tools/programs/prusti.md b/tools/programs/prusti.md
index 4fcfdd2..64c5fd4 100644
--- a/tools/programs/prusti.md
+++ b/tools/programs/prusti.md
@@ -5,7 +5,7 @@ title = 'Prusti'
 subtitle = 'Rust Verifier'
 links = [
     { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/viperproject/prusti-dev", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/viperproject/prusti-dev", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Rust Verifier']
diff --git a/tools/programs/shuttle.md b/tools/programs/shuttle.md
index 583155d..5399104 100644
--- a/tools/programs/shuttle.md
+++ b/tools/programs/shuttle.md
@@ -5,7 +5,7 @@ title = 'Loom'
 subtitle = 'Rust Verifier'
 links = [
     # { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/awslabs/shuttle", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/awslabs/shuttle", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Rust Verifier']
diff --git a/tools/programs/verus.md b/tools/programs/verus.md
index 05c9934..7d20a4e 100644
--- a/tools/programs/verus.md
+++ b/tools/programs/verus.md
@@ -5,7 +5,7 @@ title = 'Verus'
 subtitle = 'Rust Verifier'
 links = [
     # { title = "Homepage", url = "https://www.pm.inf.ethz.ch/research/prusti.html", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/verus-lang/verus", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/verus-lang/verus", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Rust Verifier']
diff --git a/tools/sat-smt/alt-ergo.md b/tools/sat-smt/alt-ergo.md
index a563354..dee0618 100644
--- a/tools/sat-smt/alt-ergo.md
+++ b/tools/sat-smt/alt-ergo.md
@@ -5,7 +5,7 @@ title = 'Alt-Ergo'
 subtitle = 'SMT Solver'
 links = [
     { title = "Homepage", url = "https://alt-ergo.ocamlpro.com/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/ocamlpro/alt-ergo", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/ocamlpro/alt-ergo", icon = 'fa-solid fa-code'  },
     { title = "Playground", url = "https://try-alt-ergo.ocamlpro.com/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver']
diff --git a/tools/sat-smt/bitwuzla.md b/tools/sat-smt/bitwuzla.md
index d0b3335..a76b713 100644
--- a/tools/sat-smt/bitwuzla.md
+++ b/tools/sat-smt/bitwuzla.md
@@ -5,7 +5,7 @@ title = 'Bitwuzla'
 subtitle = 'SMT Solver'
 links = [
     { title = "Homepage", url = "https://bitwuzla.github.io", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/bitwuzla/bitwuzla", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/bitwuzla/bitwuzla", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']
diff --git a/tools/sat-smt/boolector.md b/tools/sat-smt/boolector.md
index c95c42a..dfc6cf2 100644
--- a/tools/sat-smt/boolector.md
+++ b/tools/sat-smt/boolector.md
@@ -5,7 +5,7 @@ title = 'Boolector'
 subtitle = 'SMT Solver'
 links = [
     { title = "Homepage", url = "https://boolector.github.io/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/boolector/boolector", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/boolector/boolector", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']
diff --git a/tools/sat-smt/cadical.md b/tools/sat-smt/cadical.md
index ce634a1..ec96bb3 100644
--- a/tools/sat-smt/cadical.md
+++ b/tools/sat-smt/cadical.md
@@ -5,7 +5,7 @@ title = 'CaDiCaL'
 subtitle = 'SAT Solver'
 links = [
     # { title = "Homepage", url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/arminbiere/cadical", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/arminbiere/cadical", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SAT Solver']
diff --git a/tools/sat-smt/colibri.md b/tools/sat-smt/colibri.md
index 515794c..f099c3b 100644
--- a/tools/sat-smt/colibri.md
+++ b/tools/sat-smt/colibri.md
@@ -5,7 +5,7 @@ title = 'Colibri'
 subtitle = 'SMT Solver'
 links = [
     { title = "Homepage", url = "https://colibri.frama-c.com/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://git.frama-c.com/pub/colibrics/-/tree/master", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://git.frama-c.com/pub/colibrics/-/tree/master", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver']
diff --git a/tools/sat-smt/cryptominisat.md b/tools/sat-smt/cryptominisat.md
index add2fe1..f028cc3 100644
--- a/tools/sat-smt/cryptominisat.md
+++ b/tools/sat-smt/cryptominisat.md
@@ -5,7 +5,7 @@ title = 'CryptoMiniSat'
 subtitle = 'SAT Solver'
 links = [
     { title = "Homepage", url = "https://www.msoos.org/cryptominisat5/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/msoos/cryptominisat", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/msoos/cryptominisat", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc4.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SAT Solver']
diff --git a/tools/sat-smt/cvc4.md b/tools/sat-smt/cvc4.md
index 38cb479..f2f661c 100644
--- a/tools/sat-smt/cvc4.md
+++ b/tools/sat-smt/cvc4.md
@@ -5,7 +5,7 @@ title = 'cvc4'
 subtitle = 'Theorem Prover'
 links = [
     { title = "Homepage", url = "https://cvc4.github.io/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/CVC4/CVC4-archived", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/CVC4/CVC4-archived", icon = 'fa-solid fa-code'  },
     { title = "Playground", url = "https://cvc4.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver', 'Theorem Prover']
diff --git a/tools/sat-smt/cvc5.md b/tools/sat-smt/cvc5.md
index 4b342bb..aabca82 100644
--- a/tools/sat-smt/cvc5.md
+++ b/tools/sat-smt/cvc5.md
@@ -5,7 +5,7 @@ title = 'cvc5'
 subtitle = 'Theorem Prover'
 links = [
     { title = "Homepage", url = "https://cvc5.github.io/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/cvc5/cvc5", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/cvc5/cvc5", icon = 'fa-solid fa-code'  },
     { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver', 'Theorem Prover']
diff --git a/tools/sat-smt/dreal.md b/tools/sat-smt/dreal.md
index 5700ff5..e1de82e 100644
--- a/tools/sat-smt/dreal.md
+++ b/tools/sat-smt/dreal.md
@@ -5,7 +5,7 @@ title = 'dReal'
 subtitle = 'SMT Solver'
 links = [
     { title = "Homepage", url = "https://dreal.github.io/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver']
diff --git a/tools/sat-smt/e.md b/tools/sat-smt/e.md
index 8cf5165..6b5d711 100644
--- a/tools/sat-smt/e.md
+++ b/tools/sat-smt/e.md
@@ -5,7 +5,7 @@ title = 'E'
 subtitle = 'Theorem Prover'
 links = [
     { title = "Homepage", url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/eprover/eprover", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/eprover/eprover", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Theorem Prover']
diff --git a/tools/sat-smt/glucose.md b/tools/sat-smt/glucose.md
index c9e5fae..69539c8 100644
--- a/tools/sat-smt/glucose.md
+++ b/tools/sat-smt/glucose.md
@@ -5,7 +5,7 @@ title = 'Glucose'
 subtitle = 'SAT Solver'
 links = [
     { title = "Homepage", url = "https://www.labri.fr/perso/lsimon/research/glucose/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/audemard/glucose", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/audemard/glucose", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SAT Solver']
diff --git a/tools/sat-smt/lean.md b/tools/sat-smt/lean.md
index 1373863..ebe17b1 100644
--- a/tools/sat-smt/lean.md
+++ b/tools/sat-smt/lean.md
@@ -5,7 +5,7 @@ title = 'LEAN'
 subtitle = 'Programming Language & Theorem Prover'
 links = [
     { title = "Homepage", url = "https://lean-lang.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/leanprover/lean4", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/leanprover/lean4", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Theorem Prover', 'Modeling Language']
diff --git a/tools/sat-smt/lingeling.md b/tools/sat-smt/lingeling.md
index 06240df..155af52 100644
--- a/tools/sat-smt/lingeling.md
+++ b/tools/sat-smt/lingeling.md
@@ -5,7 +5,7 @@ title = 'Lingeling'
 subtitle = 'SAT Solver'
 links = [
     { title = "Homepage", url = "https://fmv.jku.at/lingeling/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/arminbiere/lingeling", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/arminbiere/lingeling", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SAT Solver']
diff --git a/tools/sat-smt/mathsat.md b/tools/sat-smt/mathsat.md
index 449107d..177e854 100644
--- a/tools/sat-smt/mathsat.md
+++ b/tools/sat-smt/mathsat.md
@@ -5,7 +5,7 @@ title = 'MathSAT'
 subtitle = 'SMT Solver'
 links = [
     { title = "Homepage", url = "https://mathsat.fbk.eu/", icon = 'fa-solid fa-home' },
-    # { title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-brands fa-github'  },
+    # { title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver']
diff --git a/tools/sat-smt/minisat.md b/tools/sat-smt/minisat.md
index 39cb270..cf9f121 100644
--- a/tools/sat-smt/minisat.md
+++ b/tools/sat-smt/minisat.md
@@ -5,7 +5,7 @@ title = 'MiniSat'
 subtitle = 'SAT Solver'
 links = [
     { title = "Homepage", url = "http://minisat.se/Main.html", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/niklasso/minisat", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SAT Solver']
diff --git a/tools/sat-smt/opensmt.md b/tools/sat-smt/opensmt.md
index b38b601..9dbd62d 100644
--- a/tools/sat-smt/opensmt.md
+++ b/tools/sat-smt/opensmt.md
@@ -5,7 +5,7 @@ title = 'OpenSMT'
 subtitle = 'SMT Solver'
 links = [
     { title = "Homepage", url = "https://verify.inf.usi.ch/opensmt", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/usi-verification-and-security/opensmt", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/usi-verification-and-security/opensmt", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver']
diff --git a/tools/sat-smt/parafrost.md b/tools/sat-smt/parafrost.md
index fb3b9c7..cdf1a58 100644
--- a/tools/sat-smt/parafrost.md
+++ b/tools/sat-smt/parafrost.md
@@ -5,7 +5,7 @@ title = 'ParaFROST'
 subtitle = 'SMT Solver'
 links = [
     # { title = "Homepage", url = "https://github.com/Z3Prover/z3", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/muhos/ParaFROST", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/muhos/ParaFROST", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SAT Solver']
diff --git a/tools/sat-smt/q3b.md b/tools/sat-smt/q3b.md
index ca0c42f..4d0a279 100644
--- a/tools/sat-smt/q3b.md
+++ b/tools/sat-smt/q3b.md
@@ -7,7 +7,7 @@ subtitle = 'SMT Solver'
 
 links = [
     # { title = "Homepage", url = "https://ultimate.informatik.uni-freiburg.de/smtinterpol/", icon = 'fa-solid fa-home'},
-    { title = "Source Code", url = "https://github.com/martinjonas/Q3B", icon = 'fa-brands fa-github' },
+    { title = "Source Code", url = "https://github.com/martinjonas/Q3B", icon = 'fa-solid fa-code' },
     # { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
 ]
 
diff --git a/tools/sat-smt/riss.md b/tools/sat-smt/riss.md
index 6ea0d60..480bedb 100644
--- a/tools/sat-smt/riss.md
+++ b/tools/sat-smt/riss.md
@@ -7,7 +7,7 @@ subtitle = 'SAT Tool Collection'
 
 links = [
     # { title = "Homepage", url = "https://ultimate.informatik.uni-freiburg.de/smtinterpol/", icon = 'fa-solid fa-home'},
-    { title = "Source Code", url = "https://github.com/nmanthey/riss-solver", icon = 'fa-brands fa-github' },
+    { title = "Source Code", url = "https://github.com/nmanthey/riss-solver", icon = 'fa-solid fa-code' },
     # { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
 ]
 
diff --git a/tools/sat-smt/smt-rat.md b/tools/sat-smt/smt-rat.md
index 25d3afb..470f071 100644
--- a/tools/sat-smt/smt-rat.md
+++ b/tools/sat-smt/smt-rat.md
@@ -7,7 +7,7 @@ subtitle = 'SMT Toolbox'
 
 links = [
     { title = "Homepage", url = "https://ths-rwth.github.io/smtrat/", icon = 'fa-solid fa-home'},
-    { title = "Source Code", url = "https://github.com/ths-rwth/smtrat", icon = 'fa-brands fa-github' },
+    { title = "Source Code", url = "https://github.com/ths-rwth/smtrat", icon = 'fa-solid fa-code' },
     # { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
 ]
 
diff --git a/tools/sat-smt/smtinterpol.md b/tools/sat-smt/smtinterpol.md
index 2c996b5..cab3b1a 100644
--- a/tools/sat-smt/smtinterpol.md
+++ b/tools/sat-smt/smtinterpol.md
@@ -7,7 +7,7 @@ subtitle = 'Interpolating SMT Solver'
 
 links = [
     { title = "Homepage", url = "https://ultimate.informatik.uni-freiburg.de/smtinterpol/", icon = 'fa-solid fa-home'},
-    { title = "Source Code", url = "https://github.com/ultimate-pa/smtinterpol", icon = 'fa-brands fa-github' },
+    { title = "Source Code", url = "https://github.com/ultimate-pa/smtinterpol", icon = 'fa-solid fa-code' },
     # { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
 ]
 
diff --git a/tools/sat-smt/stp.md b/tools/sat-smt/stp.md
index a7ee0d4..5a0be49 100644
--- a/tools/sat-smt/stp.md
+++ b/tools/sat-smt/stp.md
@@ -7,7 +7,7 @@ subtitle = 'Simple Theorem Prover'
 
 links = [
     { title = "Homepage", url = "https://stp.github.io/", icon = 'fa-solid fa-home'},
-    { title = "Source Code", url = "https://github.com/stp/stp", icon = 'fa-brands fa-github' },
+    { title = "Source Code", url = "https://github.com/stp/stp", icon = 'fa-solid fa-code' },
     # { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
 ]
 
diff --git a/tools/sat-smt/vampire.md b/tools/sat-smt/vampire.md
index c8eac35..eba9927 100644
--- a/tools/sat-smt/vampire.md
+++ b/tools/sat-smt/vampire.md
@@ -5,7 +5,7 @@ title = 'Vampire'
 subtitle = 'Theorem Prover'
 links = [
     { title = "Homepage", url = "https://vprover.github.io/index.html", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/vprover/vampire", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/vprover/vampire", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Theorem Prover']
diff --git a/tools/sat-smt/verit.md b/tools/sat-smt/verit.md
index 98a5907..a647c84 100644
--- a/tools/sat-smt/verit.md
+++ b/tools/sat-smt/verit.md
@@ -7,7 +7,7 @@ subtitle = 'SMT Solver'
 
 links = [
     { title = "Homepage", url = "https://www.verit-solver.org/", icon = 'fa-solid fa-home'},
-    # { title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-brands fa-github' },
+    # { title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-solid fa-code' },
     # { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
 ]
 
diff --git a/tools/sat-smt/why3.md b/tools/sat-smt/why3.md
index 18885f4..bf77f56 100644
--- a/tools/sat-smt/why3.md
+++ b/tools/sat-smt/why3.md
@@ -5,7 +5,7 @@ title = 'Why3'
 subtitle = 'Theorem Prover'
 links = [
     { title = "Homepage", url = "https://www.why3.org/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://why3.gitlabpages.inria.fr/releases/", icon = 'fa-brands fa-gitlab'  },
+    { title = "Source Code", url = "https://why3.gitlabpages.inria.fr/releases/", icon = 'fa-solid fa-code'  },
     { title = "Playground", url = "https://www.why3.org/try/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']
diff --git a/tools/sat-smt/yices.md b/tools/sat-smt/yices.md
index ab54fe5..e4ebe9f 100644
--- a/tools/sat-smt/yices.md
+++ b/tools/sat-smt/yices.md
@@ -7,7 +7,7 @@ subtitle = 'SMT Solver'
 
 links = [
     { title = "Homepage", url = "https://yices.csl.sri.com/", icon = 'fa-solid fa-home'},
-    { title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-brands fa-github' },
+    { title = "Source Code", url = "https://github.com/SRI-CSL/yices2", icon = 'fa-solid fa-code' },
     # { title = "Documentation", url = "https://yices.csl.sri.com/yices2-documentation.html" }
 ]
 
diff --git a/tools/sat-smt/z3.md b/tools/sat-smt/z3.md
index 0341716..6067bac 100644
--- a/tools/sat-smt/z3.md
+++ b/tools/sat-smt/z3.md
@@ -5,7 +5,7 @@ title = 'Z3'
 subtitle = 'Theorem Prover'
 links = [
     { title = "Homepage", url = "https://github.com/Z3Prover/z3", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/Z3Prover/z3", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/Z3Prover/z3", icon = 'fa-solid fa-code'  },
     { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['SMT Solver', 'Theorem Prover', 'SAT Solver']
diff --git a/tools/sat-smt/zipperposition.md b/tools/sat-smt/zipperposition.md
index 895d02a..76db8cd 100644
--- a/tools/sat-smt/zipperposition.md
+++ b/tools/sat-smt/zipperposition.md
@@ -5,7 +5,7 @@ title = 'Zipperposition'
 subtitle = 'Theorem Prover'
 links = [
     { title = "Homepage", url = "https://sneeuwballen.github.io/zipperposition/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/sneeuwballen/zipperposition", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/sneeuwballen/zipperposition", icon = 'fa-solid fa-code'  },
     # { title = "Playground", url = "https://jfmc.github.io/z3-play/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Theorem Prover']
diff --git a/tools/termination/approve.md b/tools/termination/approve.md
index 9ff6092..b0818d6 100644
--- a/tools/termination/approve.md
+++ b/tools/termination/approve.md
@@ -5,7 +5,7 @@ title = 'AProVE TODO'
 subtitle = 'Probabilistic Model Checker'
 links = [
     { title = "Homepage", url = "https://cvc5.github.io/", icon = 'fa-solid fa-home' },
-    { title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-brands fa-github'  },
+    { title = "Source Code", url = "https://github.com/dreal/dreal4", icon = 'fa-solid fa-code'  },
     { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' }
 ]
 applications = ['Probabilistic Model Checker', 'Rare Events']