| |
 |
Cocktail Bar and Pub at Windsor (Popularity:  )
http://www.luckycoq.com.au/
Lucky Coq is a Melbourne icon, roof top bar, pub and nightclub located at chapel street, Windsor. Everyday it offers delicious gourment pizza, cheap dinner, cocktails and much more.
Category:
Entertainment - Restaurants
|
 |
The Coq proof assistant (Popularity: )
http://coq.inria.fr/
Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.
Category:
Science - Math - Logic and Foundations - Computational Logic
|
|
|
|
