Popular repositories Loading

1. regex-derivative regex-derivative Public

   Forked from tchajed/regex-derivative

   Regex derivatives in Coq

   Coq

2. music music Public

   Anything music-related.

   LilyPond

3. KetoPilot KetoPilot Public

   Forked from rvru/KetoPilot

   Dart

4. mechanics-of-proof mechanics-of-proof Public

   Forked from hrmacbeth/math2001

   Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

   HTML