Emmabuntus, Ubuntu, Derivate, Linux, Open Source BackTrack, Linux, distributions, Ubuntu, derivate, securuty, forensic VirtualBox, Linux, Ubuntu, Raring Ringtail synaptic, Ubuntu, Linux, software packages jwplayer, multimedia, Linux, Ubuntu, flash Meshlab, graphic, software, Ubuntu, open source, Linux Synapse, Linux, Ubuntu, raring, Quantal Gimp, Ubuntu, Linux FreeMind, Linux, open source Linux, infographic, history
Home / Archive for September 2013

August 2013: 10 Most Popular Posts from Ubuntuland & The Dream Valley.

Add Comment
1.- Matita interactive theorem prover (or proof assistant), a tutorial introduction: installation. Matita is an experimental proof assist...
Read More

Matita interactive theorem prover (or proof assistant), a tutorial introduction: installation.

Add Comment
Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna.   Matita i...
Read More
Subscribe to: Comments ( Atom )