feat: Blueprint for the extension to handling predicates in the automata framework. - Githubissues

opencompl / lean-mlir

A minimal development of SSA theory

Other

88 stars 10 forks source link

feat: Blueprint for the extension to handling predicates in the automata framework. #671

Open bollu opened 1 month ago