A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContents - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContents Add to Reading List Document Date: 2014-10-14 06:07:24 Open Document File Size: 379,99 KB Share Result on Facebook Facility FoCaLiZe library / / IndustryTerm documentation tool / test tool / / OperatingSystem Unix / / Position Description superset.fcl Text editor / / Technology functional programming / object-oriented programming / Unix / ASCII / / URL http / SocialTag General topology Set theory Subset Closure OCaml Mathematical proof Support Mathematics Topology Mathematical logic

A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContentsAdd to Reading List