Giter Club home page Giter Club logo

Comments (4)

choukh avatar choukh commented on August 26, 2024

我的代码是基于Elements of Set Theory这本书，所以你可以先看看它的第5章，就是讲实数的戴德金分割的定义。另外提醒一下，这个项目只以传统教材的形式化为目标，而没有考虑其他的实用性，比如作为一个通用的库什么的。coq的标准库里面有更实用的实数构造法。

from set-theory.

Desperatesonic avatar Desperatesonic commented on August 26, 2024

您好，非常感谢您的解答，我顺利的在coq标准库里发现了reals，但关于您说的实用性我还有些不太明白，这里的实用性是指用coq的标准库计算更快吗，还是说更方便构造新的type？再次表达对您分享的感谢！

from set-theory.

choukh avatar choukh commented on August 26, 2024

或者说是泛用性吧。我不知道你要实数来做什么工作。我这里的实数是基于集合论的，你若采用了就只能在集合论里工作。而标准库里的实数是直接从类型论定义的，对你来说应该更容易理解

from set-theory.

Desperatesonic avatar Desperatesonic commented on August 26, 2024

非常感谢您的指导！

from set-theory.

Related Issues (1)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.