Julian digitsum

• Germany

Popular repositories Loading

1. Specifiaction and verification of the Kruskal algorithm for minimal spanning trees in Isabelle/HOL

   Isabelle

2. Forked from webpro-nl/knip

   ✂️ Find unused files, dependencies and exports in your JavaScript and TypeScript projects. Knip it before you ship it!

   TypeScript