New Vampire user seeking guidance and resources

[Ho-Yeon Lim]

Dear Vampire users,

Hello everyone. I am a graduate student who has recently started using Vampire. Unfortunately, there are no other Vampire users in my lab, so I have been navigating this on my own, which has been quite daunting. After searching around with no one to turn to for help, I was relieved to find this user group and decided to post here.

To start with, the manual provided on the official website feels very limited — the explanations of available features and functions are insufficient. However, after going through the discussions and materials shared in this group, I noticed that various commands not documented in the official manual seem to work well in practice.

Is there perhaps another manual or documentation that I'm not aware of?

Since I'm not very experienced with coding and have only just started, it would be greatly appreciated if you could point me toward helpful resources and explain things from a beginner's perspective.

Thank you so much.

[Richard Evans]

Dear Ho-Yeon Lim,

Welcome to the group! We are working on improving the manual and website for the next major release of vampire, and I hope to get these out over the next few weeks. However, I would like to point out the vampire workshop resources https://github.com/richard-evans/vampire-workshop including slides and input examples, as well as the YouTube channel with some introductory and advanced topics https://www.youtube.com/channel/UCP3g2DGxVB5MKeAvD1soKOg/videos

All the best,

Richard

--
You received this message because you are subscribed to the Google Groups "Vampire Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vampire-user...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/vampire-users/3c1cb8af-d60f-4f71-9e51-5e554a30f39cn%40googlegroups.com.

[Richard Gonyea]

I am interested

To view this discussion visit https://groups.google.com/d/msgid/vampire-users/36581696-F231-474A-B413-2CD7090E6392%40gmail.com.