The GDML and EuKIM Projects: Short Report on the Initiative

@inproceedings{Buchberger2016TheGA,
  title={The GDML and EuKIM Projects: Short Report on the Initiative},
  author={Bruno Buchberger},
  booktitle={ICMS},
  year={2016}
}
We give a report on the EuKIM project, which was recently submitted to the EU Horizon 2020 program, INFRAIA-02-2017 (Integrating Activities for Starting Communities) topic, by a consortium of twelve European research groups. The project aims at building up a “Global Digital Math Library” (knowledge base) integrating and extending current efforts worldwide. A central part of the project is the design and implementation of a software system that organizes open and one-stop access to mathematical… 

References

SHOWING 1-3 OF 3 REFERENCES
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
TLDR
The Theorema system is a computer implementation of the ideas behind the Theoremma, a computer assistant for the working mathematician that focuses on the natural style of system input, system output, system interaction and user interaction.
A Coq Library for Verification of Concurrent Programs
Isabelle/HOL
TLDR
This isabelle hol a proof assistant for higher order logic, it will really give you the good idea to be successful.