Skip to content
@teyjus

teyjus

Popular repositories Loading

  1. teyjus teyjus Public

    An efficient implementation of the higher-order logic programming language Lambda Prolog

    C 142 22

Repositories

Showing 1 of 1 repositories
  • teyjus Public

    An efficient implementation of the higher-order logic programming language Lambda Prolog

    teyjus/teyjus’s past year of commit activity
    C 142 GPL-3.0 22 48 2 Updated Apr 21, 2024

Top languages

Loading…

Most used topics

Loading…