search

tsoding / bm

Simple compiler ecosystem
MIT License
169 stars 16 forks source link

(#341) First approximation of the program verification #354

Closed rexim closed 3 years ago

rexim commented 3 years ago

Close #341