Dolmen is a terrifying new action RPG that combines futuristic Sci-Fi and Cosmic Horror elements. Dolmen casts players onto a hostile alien world known as Re... ... <看更多>

The Dolmen project aims at providing an assortiment of tools to help handle languages that are used in automated deduction and formal logic. More precisely, the ... ... <看更多>