Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Sign up
Popular repositories
-
othello
HTML
-
seachel.github.io
Coq
-
sewing-pattern-pillow
A sewing pattern generator for pillows and pillow cases
HTML
-
pwhol
A website to serve as the foundation of a presentation and a reference document for lambda Prolog and related logic programming languages.
HTML
-
treehehe
An interactive visualization of natural deduction proof trees
TeX
205 contributions in the last year
Contribution activity
November 2018
- CSS variables for rule spacing and minimum node width
- Add a testing framework
- Write function to generate html and css for a tree
- Test behaviour of main tree display when oversized
- Link to report on page
- Scroll snap main tree view
- Make space in CSS Grid tree for rule text
- Latex not centred vertically
- Tree Parsing Function
- Compute node coordinates on tree traversal
- Build a tree object
- Node left and right content as object
- Pass around trees rather than updating global values?
- Figure out better solution than timeout for MathJax updates
- D3 Trees for Proof Trees
- Draw tree vertically, bottom up
- Remove arcs from proof trees
- Node text in main node layout space
- Draw inference line
- Adjust rule text nodes vertically
- Investigate SVG in MathJax