more

kohlhase · kohlhase · commit 4932710b9921 · 2025-11-27T05:41:28.000+01:00
diff --git a/kwarcpubs.bib b/kwarcpubs.bib
@@ -1356,6 +1356,12 @@ @online{jlogic:on
 @misc{jlogic:base,
   title = {{Popov v. Hayashi} as a Context Graph}}
 
+@online{FloDown:on,
+  title={FloDown},
+  label = {FD},
+  url = {https://github.com/FlexiFormal/Flodown},
+  urldate = {2025-11-27}}
+
 @MastersThesis{Meier:msc97,
   author =   {Andreas Meier},
   title =    {Proof Transformation, Universtät des Saarlandes},
