Alex Gryzlov

icon indicating a website link https://software.imdea.org/~aliaksandr.hryzlou/

icon company IMDEA Software icon location Madrid icon location Logic, languages and systems

Results 3 repositories owned by Alex Gryzlov

fav-ssr

35
Stars
6
Forks
Watchers

Functional Algorithms Verified in SSReflect

verified publisher icon clayrat

sequent-calc-talk

30
Stars
0
Forks
Watchers

Code for the "Logic, machines and sequent calculus" talk

verified publisher icon clayrat

sequent-calc

25
Stars
3
Forks
Watchers

Experiments with sequent calculi

verified publisher icon clayrat