2 points | by hargup 9 hours ago ago
1 comments
I belive we can do regular software much better using formal methods, and I want to better communicate the developing tools, learnings and methodology.
Would appreciate a quick reaction from the community.
I belive we can do regular software much better using formal methods, and I want to better communicate the developing tools, learnings and methodology.
Would appreciate a quick reaction from the community.