A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).
The aim of this project is to produce a software that will content two modules :
- the first one will allow to conduct simulations of social behavior,
- the second one will be able to produce philosophical considerations.
The version version will be i
The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.