convert ideal into tutorial - Githubissues

formal-methods-mpi / Taxonomy.jl

Develop a Taxonomy of SEM

MIT License

2 stars 2 forks source link

convert ideal into tutorial #136

Open aaronpeikert opened 7 months ago

aaronpeikert commented 7 months ago

https://github.com/formal-methods-mpi/Taxonomy.jl/blob/c36e6efa678200a1b4beaa3a2f2915696bfadefb/src/judgements/ideal.jl#L1C1-L177C3