Jakob Krell

Results 2 repositories owned by Jakob Krell

PAndQ.jl

16
Stars
1
Forks
Watchers

A computer algebra system for propositional logic

Typstry.jl

44
Stars
1
Forks
Watchers

The Julia to Typst interface