Popular repositories Loading

1. SmullyanTree SmullyanTree Public

   A web application that generates an analytical tableaux for a given formula of propositional logic to prove whether it is a tautology or not

   JavaScript

2. coloredlettrine coloredlettrine Public

   Forked from raphink/coloredlettrine

   EB Lettrine

   TeX

3. EB-Garamond EB-Garamond Public

   Forked from georgd/EB-Garamond

   Digitization of the Garamond shown on the Egenolff-Berner specimen

   HTML

4. rustlings rustlings Public

   Forked from rust-lang/rustlings

   🦀 Small exercises to get you used to reading and writing Rust code!

   Rust