Skip to content
This repository has been archived by the owner on Jul 1, 2022. It is now read-only.

Just to test the new flint alpha #5

Closed
wants to merge 1 commit into from
Closed

Just to test the new flint alpha #5

wants to merge 1 commit into from

Commits on May 14, 2020

  1. Just to test the new flint alpha 

    I think one can do `]add https://github.com/oscar-system/LoadFlint.jl#thofma-patch-1` if anyone wants to try it.
    @thofma
    thofma authored May 14, 2020
    Configuration menu
    Copy the full SHA
    0b41457 View commit details
    Browse the repository at this point in the history