1
Coq Development Team
107
Freeware
It provides a formal language to write mathematical definitions.
Laridian
6
Commercial
The Message has no formal language and no verse numbers in the Bible.
1
M.Franssen
6
Freeware
It is a tool for the formal static verification of programs.
Business Cards Designer
Shareware
Generate tags and formal cards.
3
winkeyfinder
Freeware
Change MS Office XP, MS office 2003, MS office 2007, MS office 2010 CD Keys.
1
MyPlayCity, Inc.
195
Freeware
Funny Yo 3 is the third part of the story about Funny Yo's adventures.
1
e-press corp.
43
Shareware
ONE (Easy office) is an office suite software compatible with the MS Office.
1
IKEA IT
251
Freeware
IKEA HomePlanner Office 1.9.4 is a program to design the look of your office.
Divelements Limited
3
Demo
Offering both the Office 2007 and Office 2010 visual styles.
