1 Pull request merged by 1 person

• Make use of additional editor modes

  #7494 merged Jul 18, 2025

3 Pull requests opened by 3 people

• Add KCL, KFramework Languages

  #7490 opened Jul 12, 2025

• New Verilog samples / update to heuristics to distinguish from Coq

  #7493 opened Jul 14, 2025

• Rewrite and reformat documentation of `languages.yml`

  #7495 opened Jul 18, 2025