Search

Barcelona Group on Pure and Applied Proof Theory

Barcelona Group on Pure and Applied Proof Theory

People
Projects
Events
Publications
Various Links

Software

Research group on verified software.

Prometheuss

© UB Logic 2023. This website does not use any cookies. The handling of any information introduced by the user, personal or otherwise, complies with the latest GDRP regulation.

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite