Frex

https://www.cl.cam.ac.uk/~jdy22/projects/frex/

Results 3 repositories owned by


                                            Frex

haskell-frex

24

Stars

2

Forks

Watchers

template-haskell

metaocaml-frex

20

Stars

2

Forks

Watchers

agda-fragment

32

Stars

2

Forks

Watchers

Algebraic proof discovery in Agda

formal-verification

universal-algebra