everparse icon indicating copy to clipboard operation
everparse copied to clipboard
verified publisher icon project-everest

Looking for ideas for a simple student project

Open mkravchik opened this issue 1 year ago • 0 comments

Hi, I'm looking for an idea for a simple undergrad student project utilizing the parsers produced by EverParse. Neither myself nor the students have used it before and have background in F*. I'm looking for a simple application that puts everparse to use. Thanks a lot!

mkravchik avatar May 13 '24 06:05 mkravchik