Pinned Loading

1. lutils lutils Public

   Plaintext accounting utils for ledger, hledger and friends

   Go 1

2. chandy-lamport-formalization chandy-lamport-formalization Public

   A formalization of the Chandy-Lamport algorithm in Isabelle/HOL

   Isabelle 2

3. isabelle.vim isabelle.vim Public

   NeoVim extension used in conjunction with coc-isabelle

   Vim Script 4 1

4. coc-isabelle coc-isabelle Public

   Because PIDE is not my editor.

   TypeScript 4 3