Sketis
sketis.netRank Trend
Ranking history over time.
About Sketis
Sketis is the personal website of Dr. Makarius Wenzel, featuring information on his research, publications, and notable software projects related to interactive theorem proving. The site also provides details about upcoming workshops and conferences in the field.
Explore research and publications in interactive theorem proving by Dr. Makarius Wenzel.
What You Can Do
- Access publications indexed by DBLP
- Find information on Isabelle software releases
- Learn about notable scientific events and workshops
- Read recent posts and updates on research
Frequently Asked Questions
What is Isabelle?
Isabelle is a generic proof assistant and platform for interactive theorem proving.
Where can I find Dr. Wenzel's publications?
Dr. Wenzel's publications are indexed on the website and can be accessed through the publications section.
What events are listed on the site?
The site lists notable scientific events, including workshops and conferences related to interactive theorem proving.
How can I contact Dr. Wenzel?
You can contact Dr. Wenzel via the email address provided on the website.