Frex

icon indicating a website link https://www.cl.cam.ac.uk/~jdy22/projects/frex/

Results 3 repositories owned by Frex
trafficstars

haskell-frex

24
Stars
2
Forks
Watchers

verified publisher icon frex-project

metaocaml-frex

20
Stars
2
Forks
Watchers

verified publisher icon frex-project

agda-fragment

32
Stars
2
Forks
Watchers

Algebraic proof discovery in Agda

verified publisher icon frex-project