fading hinge
So, for my logic class I wanted to make my homework as pretty as possible (better than if it was handwritten!) so I developed this, hope you like it 🙂
(Also, I searched for code/packages that did something like this, and I only found proof trees, should I publish this? Is it a lot of work?)
prisma python
I'd definetly say this is worth publishing, it looks great.
Can't say I know exactly what I'm looking at, not really something I ever did in my logic classes
After some intense staring, it starts making sense
compact mist
My logic classes aren't developed as that for now but I'd like to have this in the future!
hardy tundra
I have no idea what it all means but my oh my is it pretty
edgy star
Hah, neat. If only this had existed back when I was taking my logic classes!
scarlet echo
hmm yes, natural deduction. I remember trying to make some good looking natural deduction in typst. Ended up just using Diagrams.net to draw them
fading hinge
I have no idea what it all means but my oh my is it pretty
thank you!!
I put a lot of work into this haha
fading hinge
Hah, neat. If only this had existed back when I was taking my logic classes!
you can always do some proofs for your own pleasure 😉
fading hinge
I'd definetly say this is worth publishing, it looks great.
~~Can't say I know e...
haha, basically, the first column tracks the 'dependencies' of each statement, and the last column is the rule used to get the statement of its line
I think in the next 1-2 weeks I will refactor de code to have a better API, and fix possible issues with relative sizes, etc., to publish it.
Is there some standard api/documentation generation tool? or does everyone just creates custom typst pdfs?
prisma python
Tidy is fairly common
In combination with a documentation template of your choice
I used mantys, but it's unmainted now by the looks of it
fading hinge
thanks, will look into it later 🙂
woven gust
I hate that every logic class uses different notation, i can't use it 😦 eventhough it looks so similar to what my class uses. It looks really nice though
fading hinge
I hate that every logic class uses different notation, i can't use it 😦 eventho...
The content, name of the rule, and first column of each line is explicitly written by the user, so I don't think that's (the notation) a problem! as for the indentation guides, I plan to make them a bit customizable, as well as the whole 'template'). I plan to work on it soon enough and publish it!
woven gust
this is the format we use btw: see latex export
https://fitch.themisrug.nl/
zenith sail