Yaroslav Riabtsev (@yaryabtsev)
github

yaryabtsev

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    0
  • Global Rank 2,882,722 (Top 100 %)
  • Following 1
  • Registered almost 6 years ago
  • Most used languages
    Prolog
         50.0 %
    Isabelle     50.0 %

Top repositories

1

Imperative-programming-on-Prolog

simple Prolog programs that allow you to run code for imperative programming languages
Prolog
1
star
2

my-Isabelle

Isabelle
1
star