Bibliography of formalization/mechanization mainly related mathematical logic.

Page: https://formalizedformallogic.github.io/awesome-logic-formalization

Edit ALF/Bibliography.lean (ALF/Authors.lean if needed) and submit a PR.

We use generate HTML file by Deno.

deno run --allow-read --allow-write ./generate.ts

Host /output. Example using miniserve:

miniserve output --index index.html