Formalization of mathematics in higher order logic (HOL4 proof assistant) - Summary: Project 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
	Mario Xerxes Castelán Castro <marioxcc>	Set to private