Activity

Showing most recent first

Merge pull request #1 from ProvableHQ/fix_grammar_keys

Pull request merge

d0cdpushed 2 commits to master • 682eed8…4f4d7d3 •

on Jul 26, 2024

Remove invalid keys in grammar(scope, extension)

dev-sptgcreated fix_grammar_keys • eb735a1 •

on Jul 26, 2024

Update README

Force push

dev-sptgforce pushed to master • 6db92cc…682eed8 •

on Jul 24, 2024

Update README

dev-sptgpushed 1 commit to master • 71e5cb3…6db92cc •

on Jul 24, 2024

Add grammar for Leo language

dev-sptgcreated master • 71e5cb3 •

on Jul 23, 2024