This website requires JavaScript.
Explore
Help
Register
Sign In
PTEROSOR
/
QuAcK
Watch
10
Star
1
Fork
0
You've already forked QuAcK
mirror of
https://github.com/pfloos/quack
synced
2024-12-23 12:55:25 +01:00
Code
Releases
Activity
e41097e8c2
QuAcK
/
qcaml-tools
/
dune
12 lines
100 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Add quack-input.ml
2020-10-08 11:52:49 +02:00
(executables
(names
quack_input
quack_integrals
GoDuck qcaml
2020-10-12 13:06:41 +02:00
GoDuck
Add quack-input.ml
2020-10-08 11:52:49 +02:00
)
(libraries
qcaml
)
)
Copy Permalink