peopleLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Summary: Project Memberlist

Browse with the memberlist.

If you would like to contribute to this project by becoming a member, use the request for inclusion form.

Active members on duty

  Member Resume and Skills
Project Member Daniel de la Concepción Sáez <dan232> Set to private
Project Member Seo Sanghyeon <sanxiyn> Set to private
Project Administrator Slawomir Kolodynski <slawekk> Set to private

You may also be interested in the GPG Keyring of this project

Back to the top

Powered by Savane 3.5