Profile cover photo
Profile photo
Dejan Jovanović
221 followers
221 followers
About
Posts

Post has attachment

Post has attachment
brew install homebrew/science/yices

Post has attachment

Post has attachment
using spaces instead of tabs leads to a 8.6% higher salary

Post has attachment

Post has attachment
Yices2 now open source, go get it.

Post has attachment

Post has attachment

Post has attachment

Post has attachment
Wait while more posts are being loaded